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 | 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 |