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 a91f7abebdc6..80766b33fc44 100644 --- a/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 +++ b/metadata/md5-cache/sci-mathematics/smtinterpol-2.5_p20211018 @@ -2,7 +2,7 @@ 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 computing Craig interpolants for various theories EAPI=8 -HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ +HOMEPAGE=http://ultimate.informatik.uni-freiburg.de/smtinterpol/ https://github.com/ultimate-pa/smtinterpol/ INHERIT=java-pkg-2 java-ant-2 KEYWORDS=amd64 ~x86 LICENSE=LGPL-3 @@ -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 3745cb8c0fe6525dafe8e2422a8fd501 java-pkg-2 a6b42ffd8b6827abbd8cf09329c2c8fb java-utils-2 eefed04ac580a259ecda1fbd966640b7 multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 6001248ef162a5fa2a21ce132a212f6b -_md5_=cddb4993a2dae6b0b45f68eff017989f +_md5_=3ecc5cfa262ba9fd5ffbd0f2587dbb92 |