blob: 3103b141c9441b77081d166f7fa02d740058f5c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
DEFINED_PHASES=compile configure install preinst prepare setup
DEPEND=>=virtual/jdk-1.8 >=dev-java/java-config-2.2.0-r3 >=dev-java/ant-1.10.14-r2:0 dev-java/javatoolkit
DESCRIPTION=Interpolating SMT-solver computing Craig interpolants for various theories
EAPI=8
HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ https://github.com/ultimate-pa/smtinterpol/
INHERIT=java-pkg-2 java-ant-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-utils-2 b2e92a8220dc7b1bd2062ca11774798a java-pkg-2 b6d755b4f6afabfd933932be28b46368 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 5f8f1dc0c94e007fa08af4e98a19d0e5 java-ant-2 d3f6ffc6629499cbc0d4cd71b9d7e7dc
_md5_=3ecc5cfa262ba9fd5ffbd0f2587dbb92
|
GitWeb
