blob: d6852b8b82cff7ddbb6f9b055cf718f420ab8c74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
BDEPEND=>=dev-java/ant-1.10.14-r3:0
DEFINED_PHASES=compile install preinst prepare setup
DEPEND=>=virtual/jdk-1.8:* >=dev-java/java-config-2.2.0-r3
DESCRIPTION=Interpolating SMT-solver computing Craig interpolants for various theories
EAPI=8
HOMEPAGE=https://ultimate.informatik.uni-freiburg.de/smtinterpol/ https://github.com/ultimate-pa/smtinterpol/
INHERIT=java-pkg-2
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-3
RDEPEND=>=virtual/jre-1.8:* >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/ultimate-pa/smtinterpol/archive/32d7fa8751f668f9e9a18e4e96df3337b53d2150.tar.gz -> smtinterpol-2.5_p20211018.tar.gz
_eclasses_=java-pkg-2 72587187cd548a5dcdb6a13453a3614d java-utils-2 504ec83d568c22f28aa6399df0c96de8
_md5_=afbf78b25ef7e2ab9cfde1f63805baf2
|
