diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-28 02:49:59 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-28 02:49:59 +0000 |
| commit | e53aa6b4fbe5a0c6db75d893829f7a6a37a14180 (patch) | |
| tree | dd095d36490410a724fd271fcdf08c31a5336edd /metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 | |
| parent | c5ee568457ac776b65b71fa444e0dd47535bc44a (diff) | |
gentoo auto-resync : 28:01:2023 - 02:49:59
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 64235355cec1..51576f5a434f 100644 --- a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 +++ b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 @@ -4,10 +4,10 @@ DESCRIPTION=Interpolating SMT-solver computing Craig interpolants for various th EAPI=8 HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ INHERIT=java-pkg-2 java-ant-2 -KEYWORDS=~amd64 ~x86 +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 c79d65661a9f4f72b60376c9e4b3dfa1 multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs ec8bbc28394c7305b43ea07164bd8f5f -_md5_=1972736da538290a1fd6e41348079389 +_md5_=cddb4993a2dae6b0b45f68eff017989f |