summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29586 -> 29736 bytes
-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
35 files changed, 49 insertions, 33 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 0066ff61650e..e70a0be5bb98 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/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1
index fa072074b0c8..28e0d196012a 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_=distutils-r1 b9318b5e40104e608d7e4582121fb561 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 7f7478c252c9..66f98e0e1cc1 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 765854f9a2c8..3f0bad059781 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 696d4ccfd24e..748ac8ef65a9 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 0a6d3575e0ac..d221da627c5a 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 bda5de89fd16..15d959acc355 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 e6ea937e3bab..b7fef4c6f8a2 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_=distutils-r1 b9318b5e40104e608d7e4582121fb561 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 pypi 2eecb475512bc76e5ea9192a681b9e6b python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 pypi 2eecb475512bc76e5ea9192a681b9e6b python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 5a0de5aa5b6a..5a33b2c4b0e0 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 e7148db47a06..cdb194d00c7f 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 961dde540fbd..6a6a7cabde82 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 e3cf6d36ca1c..325971b920e2 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 e1e771848846..cd0c88bfe074 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_=docs 7f3c0d47338743498c69f1887a139f57 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=docs 7f3c0d47338743498c69f1887a139f57 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 1d502e9489a2..b72dbdfe79c5 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_=docs 7f3c0d47338743498c69f1887a139f57 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 meson 3cbe71221342fc0089ce6e0b4725e476 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=docs 7f3c0d47338743498c69f1887a139f57 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 meson bd1d5eaa305de6645e939caa7a352e3c multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 5ec89d24149c..d6bfb086a646 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 292e4c46a299..8108a89530a1 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 227f95945782..2176ca710e7c 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_=distutils-r1 b9318b5e40104e608d7e4582121fb561 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=distutils-r1 ecb6da69bf4eb19761b48d6d3889c23a flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 a0a8575f3998..7ab5d03c6aa5 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_=autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 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 e512f9080716..b183463cce0a 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_=autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools e4cf390b19033d5ca443765bc8537b81 elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 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 497b26612ae7..cb204a7c3bd6 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_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 fb1d5907839f..0e9b1ce6fc70 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_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 e606fab70c92..70e9fb3f345d 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_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 f476e8bf29eb..36cd7bad6450 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_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 12d284e052e6..f66783c6adf7 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_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 d870b1ba7714..c53e792320e5 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_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=flag-o-matic 24c947ff5f858625cf0b33c15eed4425 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 2c16cb39127f..f95db66eb280 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_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 abde5b915e23..4748a10df4ce 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_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 6058fd000f75..0c086122c221 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_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 fd99500955a9..0d7a081c472c 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 8b738d7b8feb..e53a1f131099 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 efb3a6518afb..58917460396e 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_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 189269d36d73..68015146976f 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 eca3e4526578..cd5419116168 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 b346c3901e71ba37137bae0b25b00221 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 b346c3901e71ba37137bae0b25b00221 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 7c0baf1ab0ab..48663c37ba22 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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 b346c3901e71ba37137bae0b25b00221 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 b346c3901e71ba37137bae0b25b00221 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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..91aedb1e77a5
--- /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_=cmake c7c9a62d6232cac66d4ea32d575c3e7c cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 24c947ff5f858625cf0b33c15eed4425 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 b346c3901e71ba37137bae0b25b00221 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 8904b60325f22500b0c3ad4b68a42448 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_md5_=d8b14c0015d239ea078946f0d23e4325