summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2024-03-08 06:21:13 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2024-03-08 06:21:13 +0000
commit4279a7a7f82e0323b96809d6c64a1b7c0eca1871 (patch)
treeea7aeee38af72072706293a62d62084bf0a3bdbc /metadata/md5-cache/sci-mathematics
parentMerge updates from master (diff)
downloadgentoo-4279a7a7f82e0323b96809d6c64a1b7c0eca1871.tar.gz
gentoo-4279a7a7f82e0323b96809d6c64a1b7c0eca1871.tar.bz2
gentoo-4279a7a7f82e0323b96809d6c64a1b7c0eca1871.zip
2024-03-08 06:21:11 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/boolector-3.2.2_p202201102
-rw-r--r--metadata/md5-cache/sci-mathematics/boolector-3.2.32
-rw-r--r--metadata/md5-cache/sci-mathematics/cadabra-2.4.4.12
-rw-r--r--metadata/md5-cache/sci-mathematics/cadabra-2.4.5.42
-rw-r--r--metadata/md5-cache/sci-mathematics/cvc4-1.8-r52
-rw-r--r--metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r32
-rw-r--r--metadata/md5-cache/sci-mathematics/flint-2.9.02
-rw-r--r--metadata/md5-cache/sci-mathematics/flint-3.0.12
-rw-r--r--metadata/md5-cache/sci-mathematics/ginac-1.8.62
-rw-r--r--metadata/md5-cache/sci-mathematics/ginac-1.8.7-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/gsl-shell-2.3.22
-rw-r--r--metadata/md5-cache/sci-mathematics/gsl-shell-2.3.52
-rw-r--r--metadata/md5-cache/sci-mathematics/lean-4.2.02
-rw-r--r--metadata/md5-cache/sci-mathematics/libpoly-0.1.112
-rw-r--r--metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p12
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.46.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.47.02
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.16.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.17.1-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.18.22
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.19.12
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.19.22
-rw-r--r--metadata/md5-cache/sci-mathematics/petsc-3.19.42
-rw-r--r--metadata/md5-cache/sci-mathematics/pspp-1.6.2-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/slepc-3.16.02
-rw-r--r--metadata/md5-cache/sci-mathematics/slepc-3.17.12
-rw-r--r--metadata/md5-cache/sci-mathematics/slepc-3.18.12
-rw-r--r--metadata/md5-cache/sci-mathematics/slepc-3.19.02
-rw-r--r--metadata/md5-cache/sci-mathematics/slepc-3.19.12
-rw-r--r--metadata/md5-cache/sci-mathematics/stp-2.3.3-r32
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.12.52
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.12.62
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.13.016
34 files changed, 49 insertions, 33 deletions
diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
index 8f06126ef8ed..9e8698a36dab 100644
--- a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
+++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
@@ -12,5 +12,5 @@ RDEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_p
REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 )
SLOT=0
SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz
-_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 042f4cc53680245bf99a84669b94155a python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 b9318b5e40104e608d7e4582121fb561
+_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a
_md5_=2719a82a6b6dab21e7ac6f0b4bb05675
diff --git a/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110
index 94837dcfd733..e073f3b6eaa4 100644
--- a/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110
+++ b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110
@@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/Boolector/boolector/archive/13a8a06d561041cafcaf5458e404c1ec354b2841.tar.gz -> boolector-3.2.2_p20220110.tar.gz
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=38c5e146c0c6da6e8fc45214ecbbf639
diff --git a/metadata/md5-cache/sci-mathematics/boolector-3.2.3 b/metadata/md5-cache/sci-mathematics/boolector-3.2.3
index 6a9b344e7a82..a8d4436593ce 100644
--- a/metadata/md5-cache/sci-mathematics/boolector-3.2.3
+++ b/metadata/md5-cache/sci-mathematics/boolector-3.2.3
@@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/Boolector/boolector/archive/3.2.3.tar.gz -> boolector-3.2.3.tar.gz
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=ad336050dcbbf804e08b446da6b4e98d
diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1
index f5685107cf49..b36895fa7ec6 100644
--- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1
+++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1
@@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_1
RESTRICT=!test? ( test )
SLOT=0/2
SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.4.1.tar.gz -> cadabra-2.4.4.1.tar.gz
-_eclasses_=xdg-utils baea6080dd821f5562d715887954c9d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=xdg-utils baea6080dd821f5562d715887954c9d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=e99a9b8a430fb0e4c8f49f2b5865778a
diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4
index 723c7e632af7..6eb09f365ad5 100644
--- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4
+++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4
@@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_1
RESTRICT=!test? ( test )
SLOT=0/2
SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.5.4.tar.gz -> cadabra-2.4.5.4.tar.gz
-_eclasses_=xdg-utils baea6080dd821f5562d715887954c9d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=xdg-utils baea6080dd821f5562d715887954c9d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=7f7c92a5eab650e214fb1b660a3b3ee1
diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5
index e59cc9ea57d9..ab6dc72f871b 100644
--- a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5
+++ b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5
@@ -11,5 +11,5 @@ LICENSE=GPL-2
RDEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )
SLOT=0
SRC_URI=https://github.com/CVC4/CVC4-archived/archive/refs/tags/1.8.tar.gz -> cvc4-1.8.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=0d84dd9fa14596259e4e9dbe1d3fcf2c
diff --git a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r3 b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r3
index 59384997d88f..c4de29f99c26 100644
--- a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r3
+++ b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r3
@@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://files.pythonhosted.org/packages/source/d/dunshire/dunshire-0.1.1.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 042f4cc53680245bf99a84669b94155a python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 b9318b5e40104e608d7e4582121fb561 pypi 2eecb475512bc76e5ea9192a681b9e6b
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a pypi 2eecb475512bc76e5ea9192a681b9e6b
_md5_=63b4492239f37b5c82f85485dd7fb377
diff --git a/metadata/md5-cache/sci-mathematics/flint-2.9.0 b/metadata/md5-cache/sci-mathematics/flint-2.9.0
index 2f94214a2963..d66c22e6cade 100644
--- a/metadata/md5-cache/sci-mathematics/flint-2.9.0
+++ b/metadata/md5-cache/sci-mathematics/flint-2.9.0
@@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas
RESTRICT=!test? ( test )
SLOT=0/17
SRC_URI=https://github.com/wbhart/flint2/archive/refs/tags/v2.9.0.tar.gz -> flint-2.9.0.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=7527637a59c85939e1869e7ded2ef597
diff --git a/metadata/md5-cache/sci-mathematics/flint-3.0.1 b/metadata/md5-cache/sci-mathematics/flint-3.0.1
index c5735a7f885c..011653e523fe 100644
--- a/metadata/md5-cache/sci-mathematics/flint-3.0.1
+++ b/metadata/md5-cache/sci-mathematics/flint-3.0.1
@@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas !sc
RESTRICT=!test? ( test )
SLOT=0/18
SRC_URI=https://github.com/flintlib/flint/archive/refs/tags/v3.0.1.tar.gz -> flint-3.0.1.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=fd22093038eecaa1064770715ef017ae
diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.6 b/metadata/md5-cache/sci-mathematics/ginac-1.8.6
index 4ced3e7b0215..d4f7a24e4f2d 100644
--- a/metadata/md5-cache/sci-mathematics/ginac-1.8.6
+++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.6
@@ -11,5 +11,5 @@ LICENSE=GPL-2+
RDEPEND=>=sci-libs/cln-1.2.2
SLOT=0
SRC_URI=http://www.ginac.de/ginac-1.8.6.tar.bz2
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=3de5ac09a7607a8edcc162e903eefd6d
diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r1 b/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r1
index 09b553999f3d..d479f86f6bf8 100644
--- a/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r1
+++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r1
@@ -11,5 +11,5 @@ LICENSE=GPL-2+
RDEPEND=>=sci-libs/cln-1.2.2
SLOT=0
SRC_URI=http://www.ginac.de/ginac-1.8.7.tar.bz2
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=ebf51f7542ec28720ab9c42d85691be5
diff --git a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2
index 2db90e3dfa98..033981e9411a 100644
--- a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2
+++ b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=>=sci-libs/gsl-1.14:= virtual/blas >=x11-libs/agg-2.5 >=media-libs/freetype-2.4.10 sys-libs/readline:0= || ( media-fonts/ubuntu-font-family media-fonts/freefont media-fonts/dejavu ) fox? ( x11-libs/fox:1.6 )
SLOT=0
SRC_URI=https://github.com/franko/gsl-shell/archive/refs/tags/v2.3.2.tar.gz -> gsl-shell-2.3.2.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2 docs 7f3c0d47338743498c69f1887a139f57
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2 docs 7f3c0d47338743498c69f1887a139f57
_md5_=2d0cb8eeb47ce4fdab6851bcab4e5a3e
diff --git a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.5 b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.5
index abfc4a098947..0f25ef32da13 100644
--- a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.5
+++ b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.5
@@ -11,5 +11,5 @@ LICENSE=GPL-3
RDEPEND=>=sci-libs/gsl-1.14:= virtual/blas[eselect-ldso] >=x11-libs/agg-2.5[X] >=media-libs/freetype-2.4.10 sys-libs/readline:0= || ( media-fonts/ubuntu-font-family media-fonts/freefont media-fonts/dejavu ) x11-libs/fox:1.7 x11-libs/libX11
SLOT=0
SRC_URI=https://github.com/franko/gsl-shell/archive/refs/tags/v2.3.5.tar.gz -> gsl-shell-2.3.5.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 042f4cc53680245bf99a84669b94155a meson 3cbe71221342fc0089ce6e0b4725e476 python-any-r1 f5169813d1619761b459800587005fd2 docs 7f3c0d47338743498c69f1887a139f57
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 meson bd1d5eaa305de6645e939caa7a352e3c python-any-r1 f5169813d1619761b459800587005fd2 docs 7f3c0d47338743498c69f1887a139f57
_md5_=fea048eaf7a2e98d3cb6f280058575cb
diff --git a/metadata/md5-cache/sci-mathematics/lean-4.2.0 b/metadata/md5-cache/sci-mathematics/lean-4.2.0
index 36c91cbf7f27..6bf9fc9ee7fe 100644
--- a/metadata/md5-cache/sci-mathematics/lean-4.2.0
+++ b/metadata/md5-cache/sci-mathematics/lean-4.2.0
@@ -11,5 +11,5 @@ LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp:=
SLOT=0/4
SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.2.0.tar.gz -> lean-4.2.0.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=c5974366ff9c0b47abb3bced3d9e7d3d
diff --git a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11
index 992dbcb19074..bcf45c8b40eb 100644
--- a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11
+++ b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11
@@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= python? ( python_single_target_python3_10? ( dev-lang/pyt
REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target_python3_11 ) )
SLOT=0/0.1.11
SRC_URI=https://github.com/SRI-CSL/libpoly/archive/v0.1.11.tar.gz -> libpoly-0.1.11.tar.gz
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=bad7171fb79eba78457844ea3710d6cc
diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1
index 8d97ac6eda73..e3b31b7f5bac 100644
--- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1
+++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2_p1
@@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/v1.3.2.tar.gz -> mathlib-tools-1.3.2_p1.gh.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 042f4cc53680245bf99a84669b94155a python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 b9318b5e40104e608d7e4582121fb561
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a
_md5_=19470eaa26c120c522e8e3b4b0be30ae
diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
index 6414a4b50711..a8fcf4d14578 100644
--- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
+++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1
@@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py
RESTRICT=test
SLOT=0
SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz
-_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=9cabbf96137abea1df32e0ab0799f5aa
diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.47.0 b/metadata/md5-cache/sci-mathematics/maxima-5.47.0
index 53018fd86ad2..2003759e1ce3 100644
--- a/metadata/md5-cache/sci-mathematics/maxima-5.47.0
+++ b/metadata/md5-cache/sci-mathematics/maxima-5.47.0
@@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py
RESTRICT=test
SLOT=0
SRC_URI=mirror://sourceforge/maxima/maxima-5.47.0.tar.gz
-_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=41f1efe747735c0a6058aa154710556f
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 b/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1
index 52148041b507..ddcfb0961e81 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) hdf5? ( mpi ) hypre? ( cxx mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.16.0.tar.gz https://dev.gentoo.org/~sam/distfiles/sci-mathematics/petsc/petsc-3.16.0-fftw-without-mpi.patch.bz2
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=2abf6c6d5c82b8c01c4846891686d51c
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 b/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1
index d3f808e422c7..fb9f0eeb278a 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.17.1.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=80e2a90c058f99161d81abba2bdd7aec
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.18.2 b/metadata/md5-cache/sci-mathematics/petsc-3.18.2
index 91af76b8f9c1..979449876b25 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.18.2
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.18.2
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) fftw? ( mpi ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.18.2.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=4608edad129c91889b6515b20fc16ea0
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.19.1 b/metadata/md5-cache/sci-mathematics/petsc-3.19.1
index 76c190c2f48d..ce4b79547947 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.19.1
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.19.1
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) fftw? ( mpi ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.19.1.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=4608edad129c91889b6515b20fc16ea0
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.19.2 b/metadata/md5-cache/sci-mathematics/petsc-3.19.2
index 0c34aca8b2b2..93aca2d97f41 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.19.2
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.19.2
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) fftw? ( mpi ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.19.2.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=4608edad129c91889b6515b20fc16ea0
diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.19.4 b/metadata/md5-cache/sci-mathematics/petsc-3.19.4
index 4e37cbeff77d..f8b1c2a9ca8d 100644
--- a/metadata/md5-cache/sci-mathematics/petsc-3.19.4
+++ b/metadata/md5-cache/sci-mathematics/petsc-3.19.4
@@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo
REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) fftw? ( mpi ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre )
SLOT=0
SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.19.4.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=4608edad129c91889b6515b20fc16ea0
diff --git a/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r2 b/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r2
index e364edbbc885..2af1396e60e2 100644
--- a/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r2
+++ b/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r2
@@ -12,5 +12,5 @@ LICENSE=GPL-3+ FDL-1.3+
RDEPEND=dev-libs/libxml2:2 sci-libs/gsl:0= sys-devel/gettext sys-libs/ncurses:0= sys-libs/readline:0= sys-libs/zlib virtual/libiconv x11-libs/cairo[svg(+)] x11-libs/pango gtk? ( dev-util/glib-utils x11-libs/gtk+:3 x11-libs/gtksourceview:4= >=x11-libs/spread-sheet-widget-0.7 ) postgres? ( dev-db/postgresql:=[server] )
SLOT=0/1.6.2
SRC_URI=mirror://gnu/pspp/pspp-1.6.2.tar.gz
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2 xdg-utils baea6080dd821f5562d715887954c9d3 xdg 4a14c5c24f121e7da66e5aab4a168c6e
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2 xdg-utils baea6080dd821f5562d715887954c9d3 xdg 4a14c5c24f121e7da66e5aab4a168c6e
_md5_=fdc1486c83fb70f434c5a12ebc015c43
diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 b/metadata/md5-cache/sci-mathematics/slepc-3.16.0
index 1bb0ab9239b2..766a1191a848 100644
--- a/metadata/md5-cache/sci-mathematics/slepc-3.16.0
+++ b/metadata/md5-cache/sci-mathematics/slepc-3.16.0
@@ -10,5 +10,5 @@ LICENSE=LGPL-3
RDEPEND==sci-mathematics/petsc-3.16*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi )
SLOT=0
SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.16.0.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=2d09ea62586ba32337e2ee0c05a5dd2e
diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.17.1 b/metadata/md5-cache/sci-mathematics/slepc-3.17.1
index 54053dfc0d60..ed4b7ca26be4 100644
--- a/metadata/md5-cache/sci-mathematics/slepc-3.17.1
+++ b/metadata/md5-cache/sci-mathematics/slepc-3.17.1
@@ -10,5 +10,5 @@ LICENSE=LGPL-3
RDEPEND==sci-mathematics/petsc-3.17*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi )
SLOT=0
SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.17.1.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=c52ed2322e6ef0794e544809076c2359
diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.18.1 b/metadata/md5-cache/sci-mathematics/slepc-3.18.1
index ebd08c98661d..78f8b7104e47 100644
--- a/metadata/md5-cache/sci-mathematics/slepc-3.18.1
+++ b/metadata/md5-cache/sci-mathematics/slepc-3.18.1
@@ -11,5 +11,5 @@ RDEPEND==sci-mathematics/petsc-3.18*:=[examples,mpi=,complex-scalars=] arpack? (
REQUIRED_USE=arpack? ( mpi )
SLOT=0
SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.18.1.tar.gz
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=f86d5df2176cf9bb909c3762c8b56326
diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.19.0 b/metadata/md5-cache/sci-mathematics/slepc-3.19.0
index 9bcce1fd9669..dc0143260aef 100644
--- a/metadata/md5-cache/sci-mathematics/slepc-3.19.0
+++ b/metadata/md5-cache/sci-mathematics/slepc-3.19.0
@@ -11,5 +11,5 @@ RDEPEND==sci-mathematics/petsc-3.19*:=[examples,mpi=,complex-scalars=] arpack? (
REQUIRED_USE=arpack? ( mpi )
SLOT=0
SRC_URI=!doc? ( https://slepc.upv.es/download/distrib/slepc-3.19.0.tar.gz ) doc? ( https://slepc.upv.es/download/distrib/slepc-with-docs-3.19.0.tar.gz )
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=353d1e9301673629aea385674e761eeb
diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.19.1 b/metadata/md5-cache/sci-mathematics/slepc-3.19.1
index 9843ece828cf..6628bd1f99b1 100644
--- a/metadata/md5-cache/sci-mathematics/slepc-3.19.1
+++ b/metadata/md5-cache/sci-mathematics/slepc-3.19.1
@@ -11,5 +11,5 @@ RDEPEND==sci-mathematics/petsc-3.19*:=[examples,mpi=,complex-scalars=] arpack? (
REQUIRED_USE=arpack? ( mpi )
SLOT=0
SRC_URI=!doc? ( https://slepc.upv.es/download/distrib/slepc-3.19.1.tar.gz ) doc? ( https://slepc.upv.es/download/distrib/slepc-with-docs-3.19.1.tar.gz )
-_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 042f4cc53680245bf99a84669b94155a python-any-r1 f5169813d1619761b459800587005fd2
+_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-any-r1 f5169813d1619761b459800587005fd2
_md5_=353d1e9301673629aea385674e761eeb
diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
index 446c676ad239..8879c5f822c7 100644
--- a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
+++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3
@@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target
RESTRICT=!test? ( test )
SLOT=0/2.3.3
SRC_URI=https://github.com/stp/stp/archive/2.3.3.tar.gz -> stp-2.3.3.tar.gz test? ( https://github.com/stp/OutputCheck/archive/119fe41a83bc455a24a11ecc9b78e7b13fcfcc45.tar.gz -> stp-2.3.3_OutputCheck.tar.gz https://github.com/stp/googletest/archive/2ad076167a676e3ed62f90b754b30fac5caa1f88.tar.gz -> stp-2.3.3_gtest.tar.gz )
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c
_md5_=9c4295d738ae3595f718058f0880b4df
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.12.5 b/metadata/md5-cache/sci-mathematics/z3-4.12.5
index 58f8b581e0f0..8cbdd00062a4 100644
--- a/metadata/md5-cache/sci-mathematics/z3-4.12.5
+++ b/metadata/md5-cache/sci-mathematics/z3-4.12.5
@@ -12,5 +12,5 @@ RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_
REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 )
SLOT=0/4.12
SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.12.5.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 37d23064f303dcf23453353ab8c77059 java-utils-2 b346c3901e71ba37137bae0b25b00221 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 37d23064f303dcf23453353ab8c77059 java-utils-2 b346c3901e71ba37137bae0b25b00221 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562
_md5_=02cedcc1fd9cd088ac83e07eb8572ccd
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.12.6 b/metadata/md5-cache/sci-mathematics/z3-4.12.6
index eaa5d7727669..a5c48827b545 100644
--- a/metadata/md5-cache/sci-mathematics/z3-4.12.6
+++ b/metadata/md5-cache/sci-mathematics/z3-4.12.6
@@ -12,5 +12,5 @@ RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_
REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 )
SLOT=0/4.12
SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.12.6.tar.gz
-_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 37d23064f303dcf23453353ab8c77059 java-utils-2 b346c3901e71ba37137bae0b25b00221 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 python-utils-r1 042f4cc53680245bf99a84669b94155a python-single-r1 75118e916668a74c660a13b0ecb22562
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 37d23064f303dcf23453353ab8c77059 java-utils-2 b346c3901e71ba37137bae0b25b00221 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562
_md5_=2ce27c3b69bd23899297e15483725fe1
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.13.0 b/metadata/md5-cache/sci-mathematics/z3-4.13.0
new file mode 100644
index 000000000000..3dcd65d9970f
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/z3-4.13.0
@@ -0,0 +1,16 @@
+BDEPEND=doc? ( app-text/doxygen[dot] ) app-alternatives/ninja >=dev-build/cmake-3.20.5
+DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test
+DEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) java? ( >=dev-java/java-config-2.2.0-r3 )
+DESCRIPTION=An efficient theorem prover
+EAPI=8
+HOMEPAGE=https://github.com/Z3Prover/z3/
+INHERIT=cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
+IUSE=doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12
+KEYWORDS=~amd64 ~arm ~arm64 ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86
+LICENSE=MIT
+RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=dev-java/java-config-2.2.0-r3 )
+REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 )
+SLOT=0/4.13
+SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.13.0.tar.gz
+_eclasses_=toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake c7c9a62d6232cac66d4ea32d575c3e7c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 multibuild d67e78a235f541871c7dfe4cf7931489 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b cmake-multilib 37d23064f303dcf23453353ab8c77059 java-utils-2 b346c3901e71ba37137bae0b25b00221 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 python-single-r1 75118e916668a74c660a13b0ecb22562
+_md5_=d8b14c0015d239ea078946f0d23e4325