summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-21 00:11:18 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-21 00:11:18 +0100
commitbed3b604e16fc6075e29f1af8d47507a07035bd3 (patch)
tree1f5d57fd86e90db37f62afb463f4b4c08a2b6eda /metadata/md5-cache/sci-mathematics
parentd6ca4e4f90cb75c323b5988eefa96a04c0d36908 (diff)
gentoo auto-resync : 21:06:2024 - 00:11:18
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin30048 -> 30029 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.19.142
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.8.152
-rw-r--r--metadata/md5-cache/sci-mathematics/gimps-30.8.172
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-3.51.12
5 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 159102077f5a..beb1f600a5fe 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/gimps-30.19.14 b/metadata/md5-cache/sci-mathematics/gimps-30.19.14
index 16866d670e45..e670e4c62826 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.19.14
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.19.14
@@ -10,5 +10,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=amd64? ( https://www.mersenne.org/download/software/v30/30.19/p95v3019b14.linux64.tar.gz -> gimps-30.19.14.linux64.tar.gz ) x86? ( https://www.mersenne.org/download/software/v30/30.19/p95v3019b14.linux32.tar.gz -> gimps-30.19.14.linux32.tar.gz )
-_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 b8c7a61664027641d79dcfc04bd366f4 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=3ac88c1043f2f59c68b08c1dd8f135e8
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.8.15 b/metadata/md5-cache/sci-mathematics/gimps-30.8.15
index 8f3d840e1d58..997e2738d1e2 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.8.15
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.8.15
@@ -10,5 +10,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v308b15.linux64.tar.gz -> gimps-30.8.15.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v308b15.linux32.tar.gz -> gimps-30.8.15.linux32.tar.gz )
-_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 b8c7a61664027641d79dcfc04bd366f4 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=9d27720f1779224a0c86a3c024f1ec12
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.8.17 b/metadata/md5-cache/sci-mathematics/gimps-30.8.17
index 81debf6f8395..7be28fc34cc3 100644
--- a/metadata/md5-cache/sci-mathematics/gimps-30.8.17
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.8.17
@@ -10,5 +10,5 @@ RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles
RESTRICT=mirror bindist
SLOT=0
SRC_URI=https://www.mersenne.org/ftp_root/gimps/p95v308b17.linux64.tar.gz -> gimps-30.8.17.linux64.tar.gz
-_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 b8c7a61664027641d79dcfc04bd366f4 systemd c8b03e8df84486aa991d4396686e8942 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=f287a182d1a2b7006ccab50a25d461c2
diff --git a/metadata/md5-cache/sci-mathematics/lean-3.51.1 b/metadata/md5-cache/sci-mathematics/lean-3.51.1
index be40c0247fa1..b4e9907bdf0a 100644
--- a/metadata/md5-cache/sci-mathematics/lean-3.51.1
+++ b/metadata/md5-cache/sci-mathematics/lean-3.51.1
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp:=
SLOT=0/3
SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.51.1.tar.gz -> lean-3.51.1.tar.gz
-_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic d309b9713dfc18e754cba88d3ba69653 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic d309b9713dfc18e754cba88d3ba69653 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 readme.gentoo-r1 b8c7a61664027641d79dcfc04bd366f4 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=4006b2471816f8f888daeab3d21cfdca