diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-16 01:51:50 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-16 01:51:50 +0100 |
| commit | 6144cd2e90f8e3623912112050c8d2025de44f0a (patch) | |
| tree | bf6abe7c75cda0f602c2d522c905278a620a5cbf /metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 | |
| parent | ca144cbf71b2faf598564847378fa40a0090d67c (diff) | |
gentoo auto-resync : 16:10:2022 - 01:51:50
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 | 4 |
1 files changed, 2 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 c08009a92d41..1c37035a7474 100644 --- a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 +++ b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 @@ -1,6 +1,6 @@ DEFINED_PHASES=compile configure install preinst prepare setup DEPEND=>=virtual/jdk-1.8 >=dev-java/java-config-2.2.0-r3 >=dev-java/ant-core-1.8.2:0 dev-java/javatoolkit -DESCRIPTION=Interpolating SMT-solver that can compute Craig interpolants for various theories +DESCRIPTION=Interpolating SMT-solver computing Craig interpolants for various theories EAPI=8 HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ INHERIT=java-pkg-2 java-ant-2 @@ -10,4 +10,4 @@ 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 c79d65661a9f4f72b60376c9e4b3dfa1 multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 441f754fd75cd4fd1fa06fbc17da6144 -_md5_=bf1f604f075bd795e556e4a88b9be6ad +_md5_=1972736da538290a1fd6e41348079389 |