diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/spass-3.9')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/spass-3.9 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/metadata/md5-cache/sci-mathematics/spass-3.9 b/metadata/md5-cache/sci-mathematics/spass-3.9 deleted file mode 100644 index 3fb3a7d9c504..000000000000 --- a/metadata/md5-cache/sci-mathematics/spass-3.9 +++ /dev/null @@ -1,13 +0,0 @@ -DEFINED_PHASES=compile install postinst postrm unpack -DEPEND=isabelle? ( sci-mathematics/isabelle:= ) -DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality -EAPI=7 -HOMEPAGE=http://www.spass-prover.org/ -IUSE=isabelle -KEYWORDS=~amd64 ~x86 -LICENSE=BSD-2 -RDEPEND=isabelle? ( sci-mathematics/isabelle:= ) -SLOT=0/3.9 -SRC_URI=http://www.spass-prover.org/download/sources/spass39.tgz -_eclasses_=multilib 1d91b03d42ab6308b5f4f6b598ed110e toolchain-funcs a3a237ef6c0c58546bf23b2c382f9e56 -_md5_=833c8ef8eff5f69f461e9ad75176255b |