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.gzbin22923 -> 22602 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/flint-2.7.1-r14
-rw-r--r--metadata/md5-cache/sci-mathematics/rkward-0.7.22
-rw-r--r--metadata/md5-cache/sci-mathematics/wxmaxima-20.12.22
-rw-r--r--metadata/md5-cache/sci-mathematics/wxmaxima-21.01.02
-rw-r--r--metadata/md5-cache/sci-mathematics/wxmaxima-21.04.02
-rw-r--r--metadata/md5-cache/sci-mathematics/wxmaxima-21.05.12
-rw-r--r--metadata/md5-cache/sci-mathematics/wxmaxima-21.05.22
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.8.10-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.8.11-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/z3-4.8.11b4
11 files changed, 10 insertions, 40 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 68b0b25ab69d..9e4e49ad2395 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/flint-2.7.1-r1 b/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1
index 6bee31a08cc8..de68b5bb6137 100644
--- a/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1
+++ b/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1
@@ -5,11 +5,11 @@ DESCRIPTION=Fast Library for Number Theory
EAPI=7
HOMEPAGE=http://www.flintlib.org/
IUSE=doc ntl test
-KEYWORDS=amd64 ~arm ~arm64 ~ppc x86
+KEYWORDS=amd64 ~arm ~arm64 ppc x86
LICENSE=LGPL-2.1+
RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas
RESTRICT=!test? ( test )
SLOT=0/15
SRC_URI=http://www.flintlib.org/flint-2.7.1.tar.gz
_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 901d9e22c7a848a1196502edf060f330 python-utils-r1 2f5967e7ced9abfa71ff7b0ea8d61b3a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
-_md5_=a7e148f761fa9ffc51ee0a6158647611
+_md5_=f27954be2852639b898658d991a9b442
diff --git a/metadata/md5-cache/sci-mathematics/rkward-0.7.2 b/metadata/md5-cache/sci-mathematics/rkward-0.7.2
index d00b6ae483c6..e358503e9117 100644
--- a/metadata/md5-cache/sci-mathematics/rkward-0.7.2
+++ b/metadata/md5-cache/sci-mathematics/rkward-0.7.2
@@ -10,5 +10,5 @@ LICENSE=GPL-2+ LGPL-2
RDEPEND=dev-lang/R dev-qt/qtgui:5 dev-qt/qtnetwork:5 dev-qt/qtprintsupport:5 dev-qt/qtscript:5 dev-qt/qtwebengine:5[widgets] dev-qt/qtwidgets:5 dev-qt/qtxml:5 kde-frameworks/kcompletion:5 kde-frameworks/kconfig:5 kde-frameworks/kconfigwidgets:5 kde-frameworks/kcoreaddons:5 kde-frameworks/kcrash:5 kde-frameworks/ki18n:5 kde-frameworks/kio:5 kde-frameworks/kjobwidgets:5 kde-frameworks/knotifications:5 kde-frameworks/kparts:5 kde-frameworks/kservice:5 kde-frameworks/ktexteditor:5 kde-frameworks/kwidgetsaddons:5 kde-frameworks/kwindowsystem:5 kde-frameworks/kxmlgui:5 || ( kde-frameworks/breeze-icons:* kde-frameworks/oxygen-icons:* ) >=kde-frameworks/kf-env-4 dev-qt/qtcore:5
SLOT=5
SRC_URI=mirror://kde/stable/rkward/0.7.2/src/rkward-0.7.2.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da ecm 8eb670c6f910afdaaa41ec056d9198a7 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 kde.org 6e4d9db9698dba71a2c9085b861e29b5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature cc13a38ea4d26565e83ef21d58bcd4ab strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa virtualx 0a780e1ab49c75da33a78ede35ab8f9c wrapper 4251d4c84c25f59094fd557e0063a974 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da ecm 8eb670c6f910afdaaa41ec056d9198a7 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 kde.org 6e4d9db9698dba71a2c9085b861e29b5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa virtualx 0a780e1ab49c75da33a78ede35ab8f9c wrapper 4251d4c84c25f59094fd557e0063a974 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=2721d7155274635f05fff5ba23ae668f
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 b/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2
index 8932c43c1943..3984f2d0c2b2 100644
--- a/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2
@@ -9,5 +9,5 @@ LICENSE=GPL-2
RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima
SLOT=0
SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-20.12.2.tar.gz -> wxmaxima-20.12.2.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 41fd66c54c0faced4c91afc0ef1cc050 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=5081022d100b00d2d646664e8fe694d6
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0
index f864ce225b3a..cf9507f8828b 100644
--- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0
@@ -11,5 +11,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visual
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.01.0.tar.gz -> wxmaxima-21.01.0.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 41fd66c54c0faced4c91afc0ef1cc050 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=9e42ea693fac3a48a4e149c8b8d0363f
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0
index aca026b80d24..848a8f2387be 100644
--- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0
@@ -11,5 +11,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visual
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.04.0.tar.gz -> wxmaxima-21.04.0.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 41fd66c54c0faced4c91afc0ef1cc050 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=9e42ea693fac3a48a4e149c8b8d0363f
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1
index a89b83f53759..5b18b152b666 100644
--- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1
@@ -11,5 +11,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visual
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.05.1.tar.gz -> wxmaxima-21.05.1.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 41fd66c54c0faced4c91afc0ef1cc050 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=9e42ea693fac3a48a4e149c8b8d0363f
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2
index cdf123b1d25e..2b7714cb83bb 100644
--- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2
@@ -11,5 +11,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visual
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.05.2.tar.gz -> wxmaxima-21.05.2.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 41fd66c54c0faced4c91afc0ef1cc050 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
+_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils 27f9a2f19502b925ac117bd657aa2979
_md5_=9e42ea693fac3a48a4e149c8b8d0363f
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.10-r1 b/metadata/md5-cache/sci-mathematics/z3-4.8.10-r1
deleted file mode 100644
index c354e0b3c78e..000000000000
--- a/metadata/md5-cache/sci-mathematics/z3-4.8.10-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=doc? ( app-doc/doxygen ) dev-util/ninja dev-util/cmake
-DEFINED_PHASES=compile configure install postinst postrm prepare setup test
-DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) 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 )
-DESCRIPTION=An efficient theorem prover
-EAPI=7
-HOMEPAGE=https://github.com/Z3Prover/z3/
-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 python_single_target_python3_8 python_single_target_python3_9
-KEYWORDS=amd64 arm arm64 ~ppc ppc64 ~riscv x86
-LICENSE=MIT
-RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) 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(-)?] )
-REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 )
-SLOT=0/4.8
-SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da cmake-multilib ec7d503d01bc4e2f2692f8bf90a64e41 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 97566c1a256d07b00848aa767e38a352 multilib-build effd4508d5e8209273d82d8f67ee93a0 multilib-minimal 7187f259f207bf5b69e4ff01498a7269 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 73f113f91928e0d16bceb65ecbcd8e75 python-utils-r1 2f5967e7ced9abfa71ff7b0ea8d61b3a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
-_md5_=8c9f2f5e34609cc6f9e0f5ff21abaf4d
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.11-r1 b/metadata/md5-cache/sci-mathematics/z3-4.8.11-r1
deleted file mode 100644
index 189118bdc7d2..000000000000
--- a/metadata/md5-cache/sci-mathematics/z3-4.8.11-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=doc? ( app-doc/doxygen ) dev-util/ninja dev-util/cmake
-DEFINED_PHASES=compile configure install postinst postrm prepare setup test
-DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) 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 )
-DESCRIPTION=An efficient theorem prover
-EAPI=7
-HOMEPAGE=https://github.com/Z3Prover/z3/
-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 python_single_target_python3_8 python_single_target_python3_9
-KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
-LICENSE=MIT
-RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) 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(-)?] )
-REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 )
-SLOT=0/4.8
-SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.11.tar.gz
-_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da cmake-multilib ec7d503d01bc4e2f2692f8bf90a64e41 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 97566c1a256d07b00848aa767e38a352 multilib-build effd4508d5e8209273d82d8f67ee93a0 multilib-minimal 7187f259f207bf5b69e4ff01498a7269 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 73f113f91928e0d16bceb65ecbcd8e75 python-utils-r1 2f5967e7ced9abfa71ff7b0ea8d61b3a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
-_md5_=bb58374f468767ee79039226048e6f9b
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.11b b/metadata/md5-cache/sci-mathematics/z3-4.8.11b
index f95a1c832650..2d0dff7a4453 100644
--- a/metadata/md5-cache/sci-mathematics/z3-4.8.11b
+++ b/metadata/md5-cache/sci-mathematics/z3-4.8.11b
@@ -5,11 +5,11 @@ DESCRIPTION=An efficient theorem prover
EAPI=7
HOMEPAGE=https://github.com/Z3Prover/z3/
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 python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10
-KEYWORDS=~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86
+KEYWORDS=amd64 arm arm64 ~ppc ppc64 ~riscv x86
LICENSE=MIT
RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10] ) 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(-)?] )
REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 )
SLOT=0/4.8
SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.11b.tar.gz
_eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da cmake-multilib ec7d503d01bc4e2f2692f8bf90a64e41 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 97566c1a256d07b00848aa767e38a352 multilib-build effd4508d5e8209273d82d8f67ee93a0 multilib-minimal 7187f259f207bf5b69e4ff01498a7269 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 73f113f91928e0d16bceb65ecbcd8e75 python-utils-r1 2f5967e7ced9abfa71ff7b0ea8d61b3a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 27f9a2f19502b925ac117bd657aa2979
-_md5_=d59f7ec3f79daffd0e141196ff69670d
+_md5_=af345887507eecf3733afdad75da8b31
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-18 08:18:49 +0000