diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-22 01:06:40 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-22 01:06:40 +0000 |
commit | e1d5bd00cb6596ca9477ee47533b60be2078df1e (patch) | |
tree | a2133c955964a7c4892da8de6ff3d1c209c52a82 | |
parent | Merge updates from master (diff) | |
download | gentoo-e1d5bd00cb6596ca9477ee47533b60be2078df1e.tar.gz gentoo-e1d5bd00cb6596ca9477ee47533b60be2078df1e.tar.bz2 gentoo-e1d5bd00cb6596ca9477ee47533b60be2078df1e.zip |
2019-08-22 01:06:39 UTC
-rw-r--r-- | metadata/md5-cache/sci-mathematics/spass-3.7 | 13 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/spass-3.9 | 6 | ||||
-rw-r--r-- | metadata/pkg_desc_index | 2 | ||||
-rw-r--r-- | metadata/timestamp.chk | 2 |
4 files changed, 5 insertions, 18 deletions
diff --git a/metadata/md5-cache/sci-mathematics/spass-3.7 b/metadata/md5-cache/sci-mathematics/spass-3.7 deleted file mode 100644 index 9904fadfdf8e..000000000000 --- a/metadata/md5-cache/sci-mathematics/spass-3.7 +++ /dev/null @@ -1,13 +0,0 @@ -DEFINED_PHASES=install postinst postrm prepare -DEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) -DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality -EAPI=5 -HOMEPAGE=http://www.spass-prover.org/ -IUSE=doc examples isabelle -KEYWORDS=~amd64 ~x86 -LICENSE=BSD-2 -RDEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) -SLOT=0/3.7 -SRC_URI=http://www.spass-prover.org/download/sources/spass37.tgz -_eclasses_=estack 43ddf5aaffa7a8d0482df54d25a66a1f versionator 2352c3fc97241f6a02042773c8287748 -_md5_=b41ab02a45003a536afc4062255aa2c8 diff --git a/metadata/md5-cache/sci-mathematics/spass-3.9 b/metadata/md5-cache/sci-mathematics/spass-3.9 index 55897ca5ac97..ea999120e1dd 100644 --- a/metadata/md5-cache/sci-mathematics/spass-3.9 +++ b/metadata/md5-cache/sci-mathematics/spass-3.9 @@ -1,7 +1,7 @@ DEFINED_PHASES=compile install postinst postrm unpack DEPEND=isabelle? ( sci-mathematics/isabelle:= ) DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality -EAPI=6 +EAPI=7 HOMEPAGE=http://www.spass-prover.org/ IUSE=isabelle KEYWORDS=~amd64 ~x86 @@ -9,5 +9,5 @@ LICENSE=BSD-2 RDEPEND=isabelle? ( sci-mathematics/isabelle:= ) SLOT=0/3.9 SRC_URI=http://www.spass-prover.org/download/sources/spass39.tgz -_eclasses_=estack 43ddf5aaffa7a8d0482df54d25a66a1f versionator 2352c3fc97241f6a02042773c8287748 -_md5_=f123872570b771a621d995d6c7be73ea +_eclasses_=multilib 1d91b03d42ab6308b5f4f6b598ed110e toolchain-funcs a3a237ef6c0c58546bf23b2c382f9e56 +_md5_=1471cba3984c7a672772e8e2d18ad9a4 diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index cb552670459a..28c1fec60fae 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -16841,7 +16841,7 @@ sci-mathematics/sha1-polyml 5.5.0 5.6_p1: implementation of SHA1 is taken from t sci-mathematics/singular 3.1.6 4.0.2 4.0.3: Computer algebra system for polynomial computations sci-mathematics/slepc 3.11.1: Scalable Library for Eigenvalue Problem Computations sci-mathematics/snns 4.3-r2 4.3-r3: Stuttgart Neural Network Simulator -sci-mathematics/spass 3.7 3.9: An Automated Theorem Prover for First-Order Logic with Equality +sci-mathematics/spass 3.9: An Automated Theorem Prover for First-Order Logic with Equality sci-mathematics/spin 6.4.5: Tool for formal verification of distributed software systems sci-mathematics/topcom 0.17.7: Computing Triangulations Of Point Configurations and Oriented Matroids sci-mathematics/twelf 1.7.1 1.7.1-r1: Implementation of the logical framework LF diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 51dcc4c13df7..0897663880dc 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Thu, 22 Aug 2019 00:06:32 +0000 +Thu, 22 Aug 2019 01:06:39 +0000 |