summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-04-18 17:55:42 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-04-18 17:55:42 +0100
commitb481b54b8432c46df354eedc3532b0420a38fd5a (patch)
tree02cc62a183cabccf4aa944e0d15b047b383abf16 /metadata/md5-cache/sci-mathematics
parent7288c6e5fa05acddbf692a5187d925ef85662b46 (diff)
gentoo auto-resync : 18:04:2023 - 17:55:41
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin28265 -> 27797 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/cryptominisat-5.11.42
-rw-r--r--metadata/md5-cache/sci-mathematics/cryptominisat-5.8.017
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-3.50.115
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-3.50.215
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-3.50.32
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-3.99992
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
index aa2f5315d462..2ab7755dfa41 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-25 15:57:35 +0000