diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 28265 -> 27797 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cryptominisat-5.11.4 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 | 17 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/lean-3.50.1 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/lean-3.50.2 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/lean-3.50.3 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/lean-3.9999 | 2 |
7 files changed, 3 insertions, 50 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex aa2f5315d462..2ab7755dfa41 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.4 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.4 index ecc038b721d1..87539bf30f06 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.4 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.4 @@ -12,4 +12,4 @@ RESTRICT=test SLOT=0/5.11.4 SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.4.tar.gz -> cryptominisat-5.11.4.tar.gz _eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=aa164f4b19a9d1190f0aa284fc68008e +_md5_=cfc6545e4738f3b9c0a3a77e9efeb2e8 diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 deleted file mode 100644 index dea1ede5314f..000000000000 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 +++ /dev/null @@ -1,17 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install prepare setup test -DEPEND=dev-libs/boost:= sys-libs/zlib:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) ) -DESCRIPTION=Advanced SAT solver with C++ and Python interfaces -EAPI=8 -HOMEPAGE=https://github.com/msoos/cryptominisat/ -INHERIT=python-single-r1 cmake -IUSE=+python python_single_target_python3_9 python_single_target_python3_10 -KEYWORDS=~amd64 ~x86 -LICENSE=GPL-2 MIT -RDEPEND=dev-libs/boost:= sys-libs/zlib:= python? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) ) -REQUIRED_USE=python? ( ^^ ( python_single_target_python3_9 python_single_target_python3_10 ) ) -RESTRICT=test -SLOT=0/5.8.0 -SRC_URI=https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz -> cryptominisat-5.8.0.tar.gz -_eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=624cfe2abfd6cfc30a583ab0bc97dfea diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.1 b/metadata/md5-cache/sci-mathematics/lean-3.50.1 deleted file mode 100644 index 8a9c8f44b06d..000000000000 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.1 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install postinst prepare test -DEPEND=dev-libs/gmp:= -DESCRIPTION=The Lean Theorem Prover -EAPI=8 -HOMEPAGE=https://leanprover-community.github.io/ -INHERIT=flag-o-matic cmake readme.gentoo-r1 -IUSE=debug +threads -KEYWORDS=~amd64 ~x86 -LICENSE=Apache-2.0 -RDEPEND=dev-libs/gmp:= -SLOT=0/3 -SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.1.tar.gz -> lean-3.50.1.tar.gz -_eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=9a0acb3193721cd936e6ac59b20e20bd diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.2 b/metadata/md5-cache/sci-mathematics/lean-3.50.2 deleted file mode 100644 index dde8eaa758c0..000000000000 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.2 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install postinst prepare test -DEPEND=dev-libs/gmp:= -DESCRIPTION=The Lean Theorem Prover -EAPI=8 -HOMEPAGE=https://leanprover-community.github.io/ -INHERIT=flag-o-matic cmake readme.gentoo-r1 -IUSE=debug +threads -KEYWORDS=~amd64 ~x86 -LICENSE=Apache-2.0 -RDEPEND=dev-libs/gmp:= -SLOT=0/3 -SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.2.tar.gz -> lean-3.50.2.tar.gz -_eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=9a0acb3193721cd936e6ac59b20e20bd diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.3 b/metadata/md5-cache/sci-mathematics/lean-3.50.3 index cd4f5053f62c..4c6b822eb2b9 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.3 +++ b/metadata/md5-cache/sci-mathematics/lean-3.50.3 @@ -12,4 +12,4 @@ RDEPEND=dev-libs/gmp:= SLOT=0/3 SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.3.tar.gz -> lean-3.50.3.tar.gz _eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=9a0acb3193721cd936e6ac59b20e20bd +_md5_=174ea6327605b316c0ac7e5d08433616 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.9999 b/metadata/md5-cache/sci-mathematics/lean-3.9999 index ed8fd96f4e8e..b5db78f3c6b0 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.9999 +++ b/metadata/md5-cache/sci-mathematics/lean-3.9999 @@ -11,4 +11,4 @@ PROPERTIES=live RDEPEND=dev-libs/gmp:= SLOT=0/3 _eclasses_=cmake 7fb5980de96325cbab639f5b2187357c flag-o-matic 514815b1cc0dd4aeac177c2e812b3b1a git-r3 27e13c09a4c7e4c78ac812f74727e676 multilib d1408425c7c4a7669b9b17735404b693 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=979d60fcec742724540b851215bf31f7 +_md5_=174ea6327605b316c0ac7e5d08433616 |