diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 22923 -> 22602 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/flint-2.7.1-r1 | 4 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/rkward-0.7.2 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.8.10-r1 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.8.11-r1 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.8.11b | 4 |
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 Binary files differindex 68b0b25ab69d..9e4e49ad2395 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz 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 |