diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 index fca2b42c1867..469a439c0336 100644 --- a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 +++ b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 @@ -4,11 +4,10 @@ DESCRIPTION=Interpolating SMT-solver that can compute Craig interpolants for var EAPI=8 HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ INHERIT=java-pkg-2 java-ant-2 -IUSE=elibc_FreeBSD 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 32fe52795e36e76dcbcf92d89bb1c4d0 java-pkg-2 2d0eb1353bf1264bd6e61736d3e409a2 multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 java-ant-2 262d853e2dd1056dc103b953dfc113b9 +_eclasses_=java-utils-2 eb6cdf369ec1bc780222e7e2136f64f5 java-pkg-2 2d0eb1353bf1264bd6e61736d3e409a2 multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 java-ant-2 262d853e2dd1056dc103b953dfc113b9 _md5_=bf1f604f075bd795e556e4a88b9be6ad |