diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 | |
parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) |
gentoo resync : 12.05.2022
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, 2 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 index 3860f8028a16..ddb25fbcff43 100644 --- a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 +++ b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 @@ -3,10 +3,11 @@ DEPEND=>=virtual/jdk-1.8 >=dev-java/java-config-2.2.0-r3 >=dev-java/ant-core-1.8 DESCRIPTION=Interpolating SMT-solver that can compute Craig interpolants for various theories EAPI=8 HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/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-ant-2 5cf479aa9e0ac9cc55899f2762c2aaa0 java-pkg-2 3b09e051fc2045a0f0b9471b87d4f8bd java-utils-2 92b5a4d196abffe2dbe3bdc1cf4ef2ae multilib 4a33c9008e5ee30cb8840a3fdc24df2b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=java-ant-2 5cf479aa9e0ac9cc55899f2762c2aaa0 java-pkg-2 3b09e051fc2045a0f0b9471b87d4f8bd java-utils-2 e38ea02d8ed864a74078ecf46aa06f30 multilib 4a33c9008e5ee30cb8840a3fdc24df2b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=bf1f604f075bd795e556e4a88b9be6ad |