diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
86 files changed, 324 insertions, 184 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex ad48be8a9c23..6b1198286142 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/alectryon-1.4.0 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0 new file mode 100644 index 000000000000..a44eb171b3d5 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0 @@ -0,0 +1,15 @@ +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* app-emacs/flycheck app-emacs/proofgeneral ) python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DEFINED_PHASES=compile configure install postinst postrm prepare test +DEPEND=dev-python/beautifulsoup4[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/docutils[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/dominate[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/myst_parser[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pygments[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/sphinx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/coq-serapi +DESCRIPTION=Toolkit for literate programming in Coq +EAPI=8 +HOMEPAGE=https://github.com/cpitclaudel/alectryon/ +IUSE=doc emacs python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 +KEYWORDS=~amd64 +LICENSE=MIT +RDEPEND=dev-python/beautifulsoup4[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/docutils[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/dominate[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/myst_parser[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pygments[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/sphinx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/coq-serapi python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) +REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) +SLOT=0 +SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz +_eclasses_=distutils-r1 d540d96908dd5622f3dfa41d167e632d elisp-common cf4fd1b0835b9f3e638724840468064a multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 bcd408f1e4a9669198ef4dfcd5ab8696 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=c4435e280e576521daa606a887215a0b diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r1 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r1 index f98991414f15..a92dc4837816 100644 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r1 +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r1 @@ -5,10 +5,10 @@ DESCRIPTION=Automatic theorem prover EAPI=8 HOMEPAGE=https://alt-ergo.ocamlpro.com IUSE=examples +ocamlopt -KEYWORDS=~amd64 +KEYWORDS=amd64 LICENSE=CeCILL-C RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= >=dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/cmdliner:= dev-ml/num:= dev-ml/seq:= dev-ml/stdlib-shims:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/2.4.1 SRC_URI=https://github.com/OCamlPro/alt-ergo/archive/2.4.1.tar.gz -> alt-ergo-2.4.1.tar.gz -_eclasses_=dune 45f8b4ed9487a03522a647f3f33cb404 -_md5_=a876e76f95ae843e5353279c991918e5 +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=cd10c87879127f08203e144feb3e190b diff --git a/metadata/md5-cache/sci-mathematics/arb-2.19.0 b/metadata/md5-cache/sci-mathematics/arb-2.19.0 index cd156034bd78..0157e76778cd 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.19.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.19.0 @@ -11,5 +11,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.19.0.tar.gz -> arb-2.19.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=b7de4320a8e61e0af2323ed68b1268e3 diff --git a/metadata/md5-cache/sci-mathematics/arb-2.21.0 b/metadata/md5-cache/sci-mathematics/arb-2.21.0 index 2be9baf50709..53f4bd552aaf 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.21.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.21.0 @@ -11,5 +11,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.21.0.tar.gz -> arb-2.21.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=8594329b40a38e47f2f4fd829151d24b diff --git a/metadata/md5-cache/sci-mathematics/arb-2.22.1 b/metadata/md5-cache/sci-mathematics/arb-2.22.1 new file mode 100644 index 000000000000..0f971544c298 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/arb-2.22.1 @@ -0,0 +1,15 @@ +BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install prepare test +DEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= +DESCRIPTION=C library for arbitrary-precision interval arithmetic +EAPI=7 +HOMEPAGE=https://fredrikj.net/arb/ +IUSE=test +KEYWORDS=~amd64 ~arm ~arm64 ~riscv ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos +LICENSE=GPL-2+ +RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= +RESTRICT=!test? ( test ) +SLOT=0/3 +SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.22.1.tar.gz -> arb-2.22.1.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=04c9673e63bc0032e7eb5c6b86f4fcaf diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.3.8 b/metadata/md5-cache/sci-mathematics/cadabra-2.3.8 new file mode 100644 index 000000000000..7b7e885a3bc0 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.3.8 @@ -0,0 +1,16 @@ +BDEPEND=python_single_target_python3_8? ( dev-python/pybind11[python_targets_python3_8(-)] ) python_single_target_python3_9? ( dev-python/pybind11[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/pybind11[python_targets_python3_10(-)] ) dev-util/ninja >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install postinst postrm prepare setup test +DEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) app-text/dvipng dev-cpp/glibmm:2 dev-db/sqlite:3= dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/jsoncpp:= dev-libs/libsigc++:2 dev-texlive/texlive-basic python_single_target_python3_8? ( dev-python/gmpy:2[python_targets_python3_8(-)] dev-python/matplotlib[python_targets_python3_8(-)] dev-python/sympy[python_targets_python3_8(-)] jupyter? ( dev-python/jupyter[python_targets_python3_8(-)] ) ) python_single_target_python3_9? ( dev-python/gmpy:2[python_targets_python3_9(-)] dev-python/matplotlib[python_targets_python3_9(-)] dev-python/sympy[python_targets_python3_9(-)] jupyter? ( dev-python/jupyter[python_targets_python3_9(-)] ) ) python_single_target_python3_10? ( dev-python/gmpy:2[python_targets_python3_10(-)] dev-python/matplotlib[python_targets_python3_10(-)] dev-python/sympy[python_targets_python3_10(-)] jupyter? ( dev-python/jupyter[python_targets_python3_10(-)] ) ) gtk? ( dev-cpp/gtkmm:3.0 ) +DESCRIPTION=Field-theory motivated approach to computer algebra +EAPI=8 +HOMEPAGE=https://cadabra.science/ +IUSE=gtk +jupyter test python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-3 +RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) app-text/dvipng dev-cpp/glibmm:2 dev-db/sqlite:3= dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/jsoncpp:= dev-libs/libsigc++:2 dev-texlive/texlive-basic python_single_target_python3_8? ( dev-python/gmpy:2[python_targets_python3_8(-)] dev-python/matplotlib[python_targets_python3_8(-)] dev-python/sympy[python_targets_python3_8(-)] jupyter? ( dev-python/jupyter[python_targets_python3_8(-)] ) ) python_single_target_python3_9? ( dev-python/gmpy:2[python_targets_python3_9(-)] dev-python/matplotlib[python_targets_python3_9(-)] dev-python/sympy[python_targets_python3_9(-)] jupyter? ( dev-python/jupyter[python_targets_python3_9(-)] ) ) python_single_target_python3_10? ( dev-python/gmpy:2[python_targets_python3_10(-)] dev-python/matplotlib[python_targets_python3_10(-)] dev-python/sympy[python_targets_python3_10(-)] jupyter? ( dev-python/jupyter[python_targets_python3_10(-)] ) ) gtk? ( dev-cpp/gtkmm:3.0 ) +REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) +RESTRICT=!test? ( test ) +SLOT=0/2 +SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.3.8.tar.gz -> cadabra-2.3.8.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=bdba8e68ae14f7f648a65794cc62a440 diff --git a/metadata/md5-cache/sci-mathematics/calc-2.13.0.1 b/metadata/md5-cache/sci-mathematics/calc-2.13.0.1 index 84ee9919b71e..4e14a1044d54 100644 --- a/metadata/md5-cache/sci-mathematics/calc-2.13.0.1 +++ b/metadata/md5-cache/sci-mathematics/calc-2.13.0.1 @@ -4,10 +4,10 @@ DEPEND=sys-libs/ncurses:0= sys-libs/readline:0= DESCRIPTION=Arbitrary precision C-like arithmetic system EAPI=7 HOMEPAGE=http://www.isthe.com/chongo/tech/comp/calc/ -KEYWORDS=~alpha ~amd64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux +KEYWORDS=~alpha ~amd64 ~arm64 ~ppc ~ppc64 ~x86 ~amd64-linux ~x86-linux LICENSE=LGPL-2 RDEPEND=sys-libs/ncurses:0= sys-libs/readline:0= SLOT=0 SRC_URI=http://www.isthe.com/chongo/src/calc/calc-2.13.0.1.tar.bz2 _eclasses_=multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=1e7e7057829e73f6c22fcff91dcff1d5 +_md5_=065d822303241028441981f397d6d534 diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 b/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 index f1b96763f7fe..0b0f769823f3 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 GPL-3 Boost-1.0 RDEPEND=dev-cpp/eigen dev-libs/boost:=[threads(+)] dev-libs/mpfr:= sys-libs/zlib x11-libs/libX11:= virtual/glu:= virtual/opengl:= gmp? ( dev-libs/gmp:=[cxx(+)] ) mpfi? ( sci-libs/mpfi ) ntl? ( dev-libs/ntl:= ) qt5? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qtopengl:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 ) SLOT=0/14 SRC_URI=https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1-doc_html.tar.xz ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9884f288a9d496fb644c6451044c40ad diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 b/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 index 0790ba284378..37880fc46d5d 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 GPL-3 Boost-1.0 RDEPEND=dev-cpp/eigen dev-libs/boost:=[threads(+)] dev-libs/mpfr:= sys-libs/zlib x11-libs/libX11:= virtual/glu:= virtual/opengl:= gmp? ( dev-libs/gmp:=[cxx(+)] ) mpfi? ( sci-libs/mpfi ) ntl? ( dev-libs/ntl:= ) qt5? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qtopengl:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 ) SLOT=0/14 SRC_URI=https://github.com/CGAL/cgal/releases/download/v5.2/CGAL-5.2.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.2/CGAL-5.2-doc_html.tar.xz ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=4cd5e56c9c063a59008d682a49041ade diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 b/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 index b9d58201bfe6..9e8961702368 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 GPL-3 Boost-1.0 RDEPEND=dev-cpp/eigen dev-libs/boost:=[threads(+)] dev-libs/mpfr:= sys-libs/zlib x11-libs/libX11:= virtual/glu:= virtual/opengl:= gmp? ( dev-libs/gmp:=[cxx(+)] ) mpfi? ( sci-libs/mpfi ) ntl? ( dev-libs/ntl:= ) qt5? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qtopengl:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 ) SLOT=0/14 SRC_URI=https://github.com/CGAL/cgal/releases/download/v5.2.1/CGAL-5.2.1.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.2.1/CGAL-5.2.1-doc_html.tar.xz ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=1f88717d9a09907c9d09414cedfdaa76 diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.2.2-r1 b/metadata/md5-cache/sci-mathematics/cgal-5.2.2-r1 index d3f5f9c93ced..0274f349a6ad 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.2.2-r1 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.2.2-r1 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 GPL-3 Boost-1.0 RDEPEND=dev-cpp/eigen dev-libs/boost:=[threads(+)] dev-libs/mpfr:= sys-libs/zlib x11-libs/libX11:= virtual/glu:= virtual/opengl:= gmp? ( dev-libs/gmp:=[cxx] ) mpfi? ( sci-libs/mpfi ) ntl? ( dev-libs/ntl ) qt5? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qtopengl:5 dev-qt/qtsvg:5 dev-qt/qtwidgets:5 ) SLOT=0/14 SRC_URI=https://github.com/CGAL/cgal/releases/download/v5.2.2/CGAL-5.2.2.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.2.2/CGAL-5.2.2-doc_html.tar.xz ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=a682a43617ad643ab66aeef0eb3999f6 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.15.0 b/metadata/md5-cache/sci-mathematics/coq-8.15.0-r2 index fbec2e20f24e..f2c3e201d73a 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.15.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.15.0-r2 @@ -1,15 +1,15 @@ -BDEPEND=dev-ml/dune dev-lang/ocaml +BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx_rtd_theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile configure install test DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Proof assistant written in O'Caml EAPI=8 HOMEPAGE=http://coq.inria.fr/ -IUSE=gtk debug +ocamlopt +IUSE=doc gtk debug +ocamlopt KEYWORDS=~amd64 ~x86 LICENSE=LGPL-2.1 RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=test SLOT=0 SRC_URI=https://github.com/coq/coq/archive/V8.15.0.tar.gz -> coq-8.15.0.tar.gz -_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 dune 45f8b4ed9487a03522a647f3f33cb404 -_md5_=4da6c660475aac11ee10ff0571e00884 +_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=b1485dd39cb0ad08c03e41357f67bdc1 diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 new file mode 100644 index 000000000000..0973be27e3a8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 @@ -0,0 +1,11 @@ +DEFINED_PHASES=compile install +DEPEND=>=sci-mathematics/coq-8.13.0:= +DESCRIPTION=Mathematical Components for the Coq proof assistant +EAPI=8 +HOMEPAGE=https://github.com/math-comp/math-comp/ +KEYWORDS=~amd64 +LICENSE=CeCILL-B +RDEPEND=>=sci-mathematics/coq-8.13.0:= +SLOT=0/1.14.0 +SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.14.0.tar.gz -> coq-mathcomp-1.14.0.tar.gz +_md5_=f14b5e63339c5a108a9097775f00bfc2 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 new file mode 100644 index 000000000000..68367ae4f7f8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0 @@ -0,0 +1,15 @@ +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-ml/dune dev-lang/ocaml +DEFINED_PHASES=compile install postinst postrm test +DEPEND=>=sci-mathematics/coq-8.15.0:= dev-ml/cmdliner:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_import:= dev-ml/ppx_sexp_conv:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant +EAPI=8 +HOMEPAGE=https://github.com/ejgallego/coq-serapi/ +IUSE=emacs +ocamlopt test +KEYWORDS=~amd64 +LICENSE=GPL-3+ +RDEPEND=>=sci-mathematics/coq-8.15.0:= dev-ml/cmdliner:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_import:= dev-ml/ppx_sexp_conv:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +RESTRICT=!test? ( test ) +SLOT=0/0.15.0 +SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.15.0+0.15.0.tar.gz -> coq-serapi-0.15.0.tar.gz +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 elisp-common cf4fd1b0835b9f3e638724840468064a multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=3a133f7d143b9d2c33c4486a85be4888 diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 index b298dd977224..1f4a54e85a5f 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 @@ -12,5 +12,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_ RESTRICT=test SLOT=0/5.8.0 SRC_URI=https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz -> cryptominisat-5.8.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=b79da4ad27c0c60c7a912e5568048913 diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 index 0cd3052bb47c..9edb72191c2a 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 @@ -1,4 +1,4 @@ -BDEPEND=|| ( >=dev-lang/python-3.9.9-r1:3.9 >=dev-lang/python-3.8.12_p1-r1:3.8 ) sys-devel/make >=dev-util/cmake-3.20.5 +BDEPEND=|| ( >=dev-lang/python-3.10.0_p1-r1:3.10 >=dev-lang/python-3.9.9-r1:3.9 >=dev-lang/python-3.8.12_p1-r1:3.8 ) sys-devel/make >=dev-util/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare setup test DEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) DESCRIPTION=Automatic theorem prover for satisfiability modulo theories (SMT) problems @@ -10,5 +10,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/archive/1.7.tar.gz -> cvc4-1.7.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=2adc7c112e0ccb09756468003bfb6c76 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=73eb7557b250b6e03a10a8a21b4ef72b diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.8 b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r1 index 4886021c0194..29133eccdf4a 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.8 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r1 @@ -1,14 +1,14 @@ -BDEPEND=|| ( >=dev-lang/python-3.9.9-r1:3.9 >=dev-lang/python-3.8.12_p1-r1:3.8 ) sys-devel/make >=dev-util/cmake-3.20.5 +BDEPEND=|| ( ( >=dev-lang/python-3.10.0_p1-r1:3.10 dev-python/toml[python_targets_python3_10(-)] ) ( >=dev-lang/python-3.9.9-r1:3.9 dev-python/toml[python_targets_python3_9(-)] ) ( >=dev-lang/python-3.8.12_p1-r1:3.8 dev-python/toml[python_targets_python3_8(-)] ) ) sys-devel/make >=dev-util/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare setup test DEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) DESCRIPTION=Automatic theorem prover for satisfiability modulo theories (SMT) problems EAPI=7 HOMEPAGE=https://cvc4.github.io/ -IUSE=+cln proofs readline replay +statistics +IUSE=+cln proofs readline +statistics KEYWORDS=~amd64 ~x86 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 11fee991ab428a3370e5c20fa8231fb6 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=1b8f72b0b710475a7320798c13e477e8 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=8ccaecbb01f9e5e708e8386fb3bdcc53 diff --git a/metadata/md5-cache/sci-mathematics/dataplot-20131220 b/metadata/md5-cache/sci-mathematics/dataplot-20131220 index d82e819e56a8..da34654dfe3d 100644 --- a/metadata/md5-cache/sci-mathematics/dataplot-20131220 +++ b/metadata/md5-cache/sci-mathematics/dataplot-20131220 @@ -11,5 +11,5 @@ RDEPEND=media-libs/plotutils opengl? ( virtual/opengl ) gd? ( media-libs/gd[png, REQUIRED_USE=opengl? ( X ) SLOT=0 SRC_URI=ftp://ftp.nist.gov/pub/dataplot/unix/dpsrc_2013_12_20.tar.gz ftp://ftp.nist.gov/pub/dataplot/unix/dplib.2009_07_15.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=304c7ba27edbe3f1e5e6c83a467d0ad0 diff --git a/metadata/md5-cache/sci-mathematics/diagrtb-2.64 b/metadata/md5-cache/sci-mathematics/diagrtb-2.64 index cafd92b5e5a8..dda47a8d7eb3 100644 --- a/metadata/md5-cache/sci-mathematics/diagrtb-2.64 +++ b/metadata/md5-cache/sci-mathematics/diagrtb-2.64 @@ -11,5 +11,5 @@ RDEPEND=virtual/fortran RESTRICT=mirror bindist SLOT=0 SRC_URI=http://ecole.modelisation.free.fr/rtb2011.tar.gz -> diagrtb-2.64.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9d6abef4976841d445b75446ef4cc6d3 diff --git a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1 b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1 index cf4e739ce247..a5797c31cfe9 100644 --- a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1 +++ b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1 @@ -11,5 +11,5 @@ REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 ) RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://pypi/d/dunshire/dunshire-0.1.1.tar.gz -_eclasses_=distutils-r1 242601d395f54f27cfbc76e53f5e0203 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 0e7a98958af67ee30e3c2b2e3b37c0be python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=distutils-r1 d540d96908dd5622f3dfa41d167e632d eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 bcd408f1e4a9669198ef4dfcd5ab8696 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=f5d8ae5651adf7ef9f4722e76e0e4e59 diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20211210-r2 b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20211210-r2 index 9868c0939ec6..bb53ffe0f835 100644 --- a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20211210-r2 +++ b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20211210-r2 @@ -10,5 +10,5 @@ LICENSE=CeCILL-B CeCILL-C RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/1.0_pre20211210 SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/49aec58ea63a64adcf5fbabcc14c6739f337b206.tar.gz -> easycrypt-1.0_pre20211210.tar.gz -_eclasses_=dune 45f8b4ed9487a03522a647f3f33cb404 +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b _md5_=9cbf1a38349517c3b9c6d3b4c813a398 diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 new file mode 100644 index 000000000000..fccfb06c81c2 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 @@ -0,0 +1,14 @@ +BDEPEND=dev-ml/dune dev-lang/ocaml +DEFINED_PHASES=compile install prepare test +DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DESCRIPTION=Computer-Aided Cryptographic Proofs +EAPI=8 +HOMEPAGE=https://github.com/EasyCrypt/easycrypt +IUSE=+ocamlopt +KEYWORDS=~amd64 +LICENSE=CeCILL-B CeCILL-C +RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +SLOT=0/1.0_pre20220303 +SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/c98b014c131b6c0b147b852902953dd6c5771603.tar.gz -> easycrypt-1.0_pre20220303.tar.gz +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=b6e0e04e8dc1cfda670bf39ca4b57a90 diff --git a/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 b/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 index d6bfc7514f99..f7095b79ced4 100644 --- a/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 +++ b/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 @@ -8,5 +8,5 @@ KEYWORDS=~amd64 ~ppc ~x86 LICENSE=LGPL-2.1 SLOT=0 SRC_URI=mirror://sourceforge/fann/FANN-2.2.0-Source.zip -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=5658c3c712c699d80d94716f9624e14f +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=ea96bdf2c2e09f211063ecbad1fe07d0 diff --git a/metadata/md5-cache/sci-mathematics/fann-9999 b/metadata/md5-cache/sci-mathematics/fann-9999 index cb8df99e1181..c032dd74e3bd 100644 --- a/metadata/md5-cache/sci-mathematics/fann-9999 +++ b/metadata/md5-cache/sci-mathematics/fann-9999 @@ -7,5 +7,5 @@ IUSE=examples LICENSE=LGPL-2.1 PROPERTIES=live SLOT=0 -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=a8f4a153931341e1d7c8be00c894108e +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=5f307ad7613ca946ca89005f1d38fc29 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 1d5d8dc9a163..5d0fb99d18f2 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1 +++ b/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1 @@ -11,5 +11,5 @@ 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 11fee991ab428a3370e5c20fa8231fb6 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=a7e148f761fa9ffc51ee0a6158647611 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.4 b/metadata/md5-cache/sci-mathematics/flint-2.8.4 index d45e8719d1bd..34071ade86de 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.8.4 +++ b/metadata/md5-cache/sci-mathematics/flint-2.8.4 @@ -11,5 +11,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas RESTRICT=!test? ( test ) SLOT=0/16 SRC_URI=https://github.com/wbhart/flint2/archive/refs/tags/v2.8.4.tar.gz -> flint-2.8.4.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9e25bc7dc7de939717feaa7008d4b536 diff --git a/metadata/md5-cache/sci-mathematics/giac-1.7.0.45 b/metadata/md5-cache/sci-mathematics/giac-1.7.0.47 index 09b8d9ce2db1..28e6f7e27511 100644 --- a/metadata/md5-cache/sci-mathematics/giac-1.7.0.45 +++ b/metadata/md5-cache/sci-mathematics/giac-1.7.0.47 @@ -2,7 +2,7 @@ BDEPEND=dev-tex/hevea virtual/pkgconfig virtual/yacc sys-devel/gnuconfig >=app-p DEFINED_PHASES=configure install postinst postrm prepare DEPEND=dev-libs/gmp:=[cxx(+)] sys-libs/readline:= gui? ( x11-libs/fltk media-libs/libpng:= ) ao? ( media-libs/libao ) dev-libs/mpfr:= sci-libs/mpfi sci-libs/gsl:= sci-mathematics/pari:=[threads] dev-libs/ntl:= virtual/lapack virtual/blas net-misc/curl sci-mathematics/cliquer sci-mathematics/nauty ecm? ( sci-mathematics/gmp-ecm ) glpk? ( sci-mathematics/glpk ) gc? ( dev-libs/boehm-gc ) DESCRIPTION=A free C++ Computer Algebra System library and its interfaces -EAPI=7 +EAPI=8 HOMEPAGE=https://www-fourier.ujf-grenoble.fr/~parisse/giac.html IUSE=ao doc +ecm examples gc +glpk gui static-libs test l10n_el l10n_en l10n_es l10n_pt KEYWORDS=~amd64 ~x86 @@ -11,6 +11,6 @@ RDEPEND=dev-libs/gmp:=[cxx(+)] sys-libs/readline:= gui? ( x11-libs/fltk media-li REQUIRED_USE=test? ( gui ) RESTRICT=!test? ( test ) mirror SLOT=0 -SRC_URI=https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.7.0-45.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=417a711b9896a5afa118034fbc84505c +SRC_URI=https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.7.0-47.tar.gz +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=d3808d0455aea28b854f4a890ab66f8d diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.7.9 b/metadata/md5-cache/sci-mathematics/gimps-30.7.9 index 2d6f0a5fedbd..4b9703339a05 100644 --- a/metadata/md5-cache/sci-mathematics/gimps-30.7.9 +++ b/metadata/md5-cache/sci-mathematics/gimps-30.7.9 @@ -3,11 +3,11 @@ DEFINED_PHASES=install postinst postrm DESCRIPTION=The Great Internet Mersenne Prime Search EAPI=7 HOMEPAGE=https://www.mersenne.org/ -KEYWORDS=-* ~amd64 ~x86 +KEYWORDS=-* amd64 x86 LICENSE=GIMPS RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles RESTRICT=mirror bindist SLOT=0 SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v307b9.linux64.tar.gz -> gimps-30.7.9.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v307b9.linux32.tar.gz -> gimps-30.7.9.linux32.tar.gz ) _eclasses_=multilib de4beb52bfa93c4c5d96792a6b5e1784 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 11d91b11caf3bbb725c7d9eba90335c8 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=050e1a5c1756834a35b2638e3f125815 +_md5_=30a77ea017c5d06429d79aa9b5cb22df diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 index 60e221d82eb7..8fd0c9085e65 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 @@ -10,5 +10,5 @@ LICENSE=GPL-2+ RDEPEND=>=sci-libs/cln-1.2.2 SLOT=0 SRC_URI=http://www.ginac.de/ginac-1.7.11.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=c7a69fd03dd2c3d970bf5b25386b75d9 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 b/metadata/md5-cache/sci-mathematics/ginac-1.8.0 index b6e0d7071656..8bc21c9a8537 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.0 @@ -10,5 +10,5 @@ LICENSE=GPL-2+ RDEPEND=>=sci-libs/cln-1.2.2 SLOT=0 SRC_URI=http://www.ginac.de/ginac-1.8.0.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=55426d1156ac0590535a83c0918bf8b6 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.2 b/metadata/md5-cache/sci-mathematics/ginac-1.8.2 new file mode 100644 index 000000000000..3de99d249bd3 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.2 @@ -0,0 +1,14 @@ +BDEPEND=|| ( >=dev-lang/python-3.10.0_p1-r1:3.10 >=dev-lang/python-3.9.9-r1:3.9 >=dev-lang/python-3.8.12_p1-r1:3.8 ) virtual/pkgconfig doc? ( app-doc/doxygen dev-texlive/texlive-fontsrecommended media-gfx/transfig dev-texlive/texlive-latexextra virtual/texi2dvi ) +DEFINED_PHASES=compile configure install setup +DEPEND=>=sci-libs/cln-1.2.2 +DESCRIPTION=C++ library and tools for symbolic calculations +EAPI=7 +HOMEPAGE=https://www.ginac.de/ +IUSE=doc examples +KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux +LICENSE=GPL-2+ +RDEPEND=>=sci-libs/cln-1.2.2 +SLOT=0 +SRC_URI=http://www.ginac.de/ginac-1.8.2.tar.bz2 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=69a5d34a52a98e49f1f87bd4591bf951 diff --git a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 new file mode 100644 index 000000000000..d4723ff833fd --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 @@ -0,0 +1,14 @@ +BDEPEND=dev-lang/luajit virtual/pkgconfig doc? ( virtual/latex-base ) doc? ( || ( ( >=dev-lang/python-3.10.0_p1-r1:3.10 dev-python/sphinx[python_targets_python3_10(-)] ) ( >=dev-lang/python-3.9.9-r1:3.9 dev-python/sphinx[python_targets_python3_9(-)] ) ( >=dev-lang/python-3.8.12_p1-r1:3.8 dev-python/sphinx[python_targets_python3_8(-)] ) ) ) +DEFINED_PHASES=compile prepare setup +DEPEND=>=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 ) +DESCRIPTION=Lua interactive shell for sci-libs/gsl +EAPI=8 +HOMEPAGE=https://www.nongnu.org/gsl-shell/ +IUSE=fox doc +KEYWORDS=~amd64 ~x86 +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 7c38d94fa7c1b4235fe571dc09e018df multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=f4731f9c8f4d1a71fb9135da7f8f83ac diff --git a/metadata/md5-cache/sci-mathematics/lcalc-2.0.5 b/metadata/md5-cache/sci-mathematics/lcalc-2.0.5-r1 index 56dfb2dabcb3..42efc3b61538 100644 --- a/metadata/md5-cache/sci-mathematics/lcalc-2.0.5 +++ b/metadata/md5-cache/sci-mathematics/lcalc-2.0.5-r1 @@ -7,7 +7,8 @@ HOMEPAGE=https://gitlab.com/sagemath/lcalc IUSE=+double double-double quad-double pari KEYWORDS=amd64 LICENSE=GPL-2+ +RDEPEND=double-double? ( sci-libs/qd:= ) quad-double? ( sci-libs/qd:= ) pari? ( sci-mathematics/pari:= ) REQUIRED_USE=^^ ( double double-double quad-double ) SLOT=0/1 SRC_URI=https://gitlab.com/sagemath/lcalc/uploads/25f029f3c02fcb6c3174972e0ac0e192/lcalc-2.0.5.tar.xz -_md5_=f0dfd7f30fa37f1d02627576728ffffe +_md5_=2153b12613f29ef3637fe00858c33c00 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.38.0 b/metadata/md5-cache/sci-mathematics/lean-3.39.1 index c59ac4bfea3e..aae544b64aa8 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.38.0 +++ b/metadata/md5-cache/sci-mathematics/lean-3.39.1 @@ -4,11 +4,11 @@ DEPEND=dev-libs/gmp:= DESCRIPTION=The Lean Theorem Prover EAPI=8 HOMEPAGE=https://leanprover-community.github.io/ -IUSE=debug +json +threads +IUSE=debug +threads KEYWORDS=~amd64 ~x86 LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 -SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.38.0.tar.gz -> lean-3.38.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=0ed1b605818117e50c46fcb4ed597ed7 +SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.39.1.tar.gz -> lean-3.39.1.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.35.1-r2 b/metadata/md5-cache/sci-mathematics/lean-3.40.0 index 6b19a79afa91..c2b37498face 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.35.1-r2 +++ b/metadata/md5-cache/sci-mathematics/lean-3.40.0 @@ -4,11 +4,11 @@ DEPEND=dev-libs/gmp:= DESCRIPTION=The Lean Theorem Prover EAPI=8 HOMEPAGE=https://leanprover-community.github.io/ -IUSE=debug +json +threads +IUSE=debug +threads KEYWORDS=~amd64 ~x86 LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 -SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.35.1.tar.gz -> lean-3.35.1.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=148bb9d8017b209f8d75da1e151d4156 +SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.40.0.tar.gz -> lean-3.40.0.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.37.0 b/metadata/md5-cache/sci-mathematics/lean-3.41.0 index b85306e65488..ea179ff9b575 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.37.0 +++ b/metadata/md5-cache/sci-mathematics/lean-3.41.0 @@ -4,11 +4,11 @@ DEPEND=dev-libs/gmp:= DESCRIPTION=The Lean Theorem Prover EAPI=8 HOMEPAGE=https://leanprover-community.github.io/ -IUSE=debug +json +threads +IUSE=debug +threads KEYWORDS=~amd64 ~x86 LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 -SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.37.0.tar.gz -> lean-3.37.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=0ed1b605818117e50c46fcb4ed597ed7 +SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.41.0.tar.gz -> lean-3.41.0.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.42.0 b/metadata/md5-cache/sci-mathematics/lean-3.42.0 new file mode 100644 index 000000000000..e5ab1f0f6d50 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/lean-3.42.0 @@ -0,0 +1,14 @@ +BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install postinst prepare test +DEPEND=dev-libs/gmp:= +DESCRIPTION=The Lean Theorem Prover +EAPI=8 +HOMEPAGE=https://leanprover-community.github.io/ +IUSE=debug +threads +KEYWORDS=~amd64 ~x86 +LICENSE=Apache-2.0 +RDEPEND=dev-libs/gmp:= +SLOT=0/3 +SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.42.0.tar.gz -> lean-3.42.0.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.9999 b/metadata/md5-cache/sci-mathematics/lean-3.9999 index 5d54af259d47..94b07ad38a9d 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.9999 +++ b/metadata/md5-cache/sci-mathematics/lean-3.9999 @@ -4,10 +4,10 @@ DEPEND=dev-libs/gmp:= DESCRIPTION=The Lean Theorem Prover EAPI=8 HOMEPAGE=https://leanprover-community.github.io/ -IUSE=debug +json +threads +IUSE=debug +threads LICENSE=Apache-2.0 PROPERTIES=live RDEPEND=dev-libs/gmp:= SLOT=0/3 -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=148bb9d8017b209f8d75da1e151d4156 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 readme.gentoo-r1 eebd0164fe61f4f7b64a683e83fdceb1 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1dbb54245f666317800e804dcaa55928 diff --git a/metadata/md5-cache/sci-mathematics/lrcalc-2.1 b/metadata/md5-cache/sci-mathematics/lrcalc-2.1 index cd2158da751a..c804df66bf78 100644 --- a/metadata/md5-cache/sci-mathematics/lrcalc-2.1 +++ b/metadata/md5-cache/sci-mathematics/lrcalc-2.1 @@ -3,9 +3,9 @@ DESCRIPTION=Littlewood-Richardson Calculator EAPI=7 HOMEPAGE=https://sites.math.rutgers.edu/~asbuch/lrcalc/ IUSE=static-libs test -KEYWORDS=~amd64 ~x86 ~ppc-macos ~x64-macos +KEYWORDS=amd64 x86 ~ppc-macos ~x64-macos LICENSE=GPL-3+ RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://sites.math.rutgers.edu/~asbuch/lrcalc/lrcalc-2.1.tar.gz -_md5_=eeb2c6332091444c146f948d7413fa85 +_md5_=8b699ee0a5f8b3f0fa2f9d6ca6397d07 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 deleted file mode 100644 index b6edf4e99acb..000000000000 --- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 +++ /dev/null @@ -1,16 +0,0 @@ -BDEPEND=test? ( >=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?] sci-mathematics/lean:0/3 >=dev-python/pytest-6.2.5-r2[python_targets_python3_8(-)?,python_targets_python3_9(-)?] ) python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?] -DEFINED_PHASES=compile configure install prepare test -DEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?] -DESCRIPTION=Development tools for Lean's mathlib -EAPI=8 -HOMEPAGE=https://github.com/leanprover-community/mathlib-tools -IUSE=test python_targets_python3_8 python_targets_python3_9 -KEYWORDS=~amd64 ~x86 -LICENSE=Apache-2.0 -RDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?] sci-mathematics/lean:0/3 python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) -REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 ) -RESTRICT=!test? ( test ) -SLOT=0 -SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/refs/tags/v1.1.0.tar.gz -> mathlib-tools-1.1.0.tar.gz -_eclasses_=distutils-r1 242601d395f54f27cfbc76e53f5e0203 multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 0e7a98958af67ee30e3c2b2e3b37c0be python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=0dd803afdbaa4bc17ac400fad8730de3 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0-r1 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0-r1 new file mode 100644 index 000000000000..75f48c1a87d8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0-r1 @@ -0,0 +1,16 @@ +BDEPEND=test? ( >=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/lean:0/3 >=dev-python/pytest-6.2.5-r2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] ) python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DEFINED_PHASES=compile configure install prepare test +DEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DESCRIPTION=Development tools for Lean's mathlib +EAPI=8 +HOMEPAGE=https://github.com/leanprover-community/mathlib-tools +IUSE=test python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 +KEYWORDS=~amd64 ~x86 +LICENSE=Apache-2.0 +RDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/lean:0/3 python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) +REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) +RESTRICT=!test? ( test ) +SLOT=0 +SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/refs/tags/v1.1.0.tar.gz -> mathlib-tools-1.1.0.tar.gz +_eclasses_=distutils-r1 d540d96908dd5622f3dfa41d167e632d multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 bcd408f1e4a9669198ef4dfcd5ab8696 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=a7d60d4796094410608055f193939fc3 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.1 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.1 new file mode 100644 index 000000000000..b46829095c8f --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.1 @@ -0,0 +1,16 @@ +BDEPEND=test? ( >=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/lean:0/3 >=dev-python/pytest-6.2.5-r2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] ) python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DEFINED_PHASES=compile configure install prepare test +DEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DESCRIPTION=Development tools for Lean's mathlib +EAPI=8 +HOMEPAGE=https://github.com/leanprover-community/mathlib-tools +IUSE=test python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 +KEYWORDS=~amd64 ~x86 +LICENSE=Apache-2.0 +RDEPEND=>=dev-python/GitPython-2.1.11[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/toml-0.10.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/PyGithub[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/atomicwrites[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/certifi[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/click[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/networkx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pydot[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyyaml[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/tqdm[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/lean:0/3 python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) +REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) +RESTRICT=!test? ( test ) +SLOT=0 +SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/refs/tags/v1.1.1.tar.gz -> mathlib-tools-1.1.1.tar.gz +_eclasses_=distutils-r1 d540d96908dd5622f3dfa41d167e632d multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 bcd408f1e4a9669198ef4dfcd5ab8696 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=a7d60d4796094410608055f193939fc3 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r10 b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r10 index 276ea0069bcf..e563a5a5fdba 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r10 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r10 @@ -12,5 +12,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 ) || ( clisp clozurecl clozurec RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.44.0.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=62cab564c843d3580d0a8a5d4a7e317b diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r9 b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r9 index 25f8182a2d35..f65fcd8007e7 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r9 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r9 @@ -11,5 +11,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 ) gui? ( X ) RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.44.0.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b preserve-libs dbc9f8d2d49c66467bc327fddd8317bd python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b preserve-libs dbc9f8d2d49c66467bc327fddd8317bd python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=53d94932696327e4b729c9279d3d24fb diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.45.1-r2 b/metadata/md5-cache/sci-mathematics/maxima-5.45.1-r2 index 19d48ca6b29a..1c58128d5f03 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.45.1-r2 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.45.1-r2 @@ -12,5 +12,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.45.1.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=b5e459f501b7bd44ea4fc5ab8580ddd1 diff --git a/metadata/md5-cache/sci-mathematics/metamath-databases-20220303 b/metadata/md5-cache/sci-mathematics/metamath-databases-20220303 new file mode 100644 index 000000000000..68e178802ed7 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/metamath-databases-20220303 @@ -0,0 +1,11 @@ +DEFINED_PHASES=install +DESCRIPTION=Sample databases for Metamath +EAPI=8 +HOMEPAGE=http://us.metamath.org/mpeuni/mmset.html +IUSE=doc +KEYWORDS=~amd64 ~x86 +LICENSE=CC0-1.0 +RDEPEND=sci-mathematics/metamath +SLOT=0 +SRC_URI=https://github.com/metamath/set.mm/archive/99d707bc3c600a9d6052a46a7c85f05b74c589a2.tar.gz -> metamath-databases-20220303.tar.gz +_md5_=b623cbe16b0699c67af13a4af1e1702f diff --git a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 index f403a5514269..29053515f55c 100644 --- a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 +++ b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 @@ -10,5 +10,5 @@ LICENSE=MIT RDEPEND=sys-libs/zlib:= SLOT=0/2.2.1 SRC_URI=https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz -> minisat-2.2.1.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=fac114018ca9b6d7e277dee1812172a1 diff --git a/metadata/md5-cache/sci-mathematics/octave-5.2.0 b/metadata/md5-cache/sci-mathematics/octave-5.2.0 index 4a6b471a5a4b..cc6d2fa388ff 100644 --- a/metadata/md5-cache/sci-mathematics/octave-5.2.0 +++ b/metadata/md5-cache/sci-mathematics/octave-5.2.0 @@ -9,5 +9,5 @@ LICENSE=GPL-3 RDEPEND=app-arch/bzip2 app-text/ghostscript-gpl dev-libs/libpcre:3= sys-libs/ncurses:0= sys-libs/zlib virtual/blas virtual/lapack curl? ( net-misc/curl:0= ) fftw? ( sci-libs/fftw:3.0= ) glpk? ( sci-mathematics/glpk:0= ) gnuplot? ( sci-visualization/gnuplot ) gui? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qthelp:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtwidgets:5 x11-libs/qscintilla:= ) hdf5? ( sci-libs/hdf5:0= ) java? ( >=virtual/jre-1.6.0:* ) opengl? ( media-libs/freetype:2= media-libs/fontconfig:1.0= virtual/glu >=x11-libs/fltk-1.3:1=[opengl,xft] x11-libs/gl2ps:0= ) ssl? ( dev-libs/openssl:0= ) portaudio? ( media-libs/portaudio ) postscript? ( app-text/epstool media-gfx/pstoedit media-gfx/transfig ) qhull? ( media-libs/qhull:0= ) qrupdate? ( sci-libs/qrupdate:0= ) readline? ( sys-libs/readline:0= ) sndfile? ( media-libs/libsndfile ) sparse? ( sci-libs/arpack:0= sci-libs/camd:0= sci-libs/ccolamd:0= sci-libs/cholmod:0= sci-libs/colamd:0= sci-libs/cxsparse:0= sci-libs/umfpack:0= ) X? ( x11-libs/libX11:0= ) virtual/fortran java? ( >=dev-java/java-config-2.2.0-r3 ) SLOT=0/5.2.0 SRC_URI=mirror://gnu/octave/octave-5.2.0.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 239e7afa214b50012f83b8bb61de7555 gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 gnome2-utils 239e7afa214b50012f83b8bb61de7555 gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=d1aaea16a861d05eeb512171b226f8a2 diff --git a/metadata/md5-cache/sci-mathematics/octave-6.4.0 b/metadata/md5-cache/sci-mathematics/octave-6.4.0 index 348293db0f9b..7b80d71ed9d0 100644 --- a/metadata/md5-cache/sci-mathematics/octave-6.4.0 +++ b/metadata/md5-cache/sci-mathematics/octave-6.4.0 @@ -9,5 +9,5 @@ LICENSE=GPL-3 RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys-apps/texinfo dev-libs/libpcre:3= sys-libs/ncurses:0= sys-libs/zlib virtual/blas virtual/lapack curl? ( net-misc/curl:0= ) fftw? ( sci-libs/fftw:3.0= ) glpk? ( sci-mathematics/glpk:0= ) gnuplot? ( sci-visualization/gnuplot ) gui? ( dev-qt/qtcore:5 dev-qt/qtgui:5 dev-qt/qthelp:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtwidgets:5 x11-libs/qscintilla:= ) hdf5? ( sci-libs/hdf5:0= ) java? ( >=virtual/jre-1.6.0:* ) opengl? ( media-libs/freetype:2= media-libs/fontconfig:1.0= virtual/glu >=x11-libs/fltk-1.3:1=[opengl,xft] x11-libs/gl2ps:0= ) portaudio? ( media-libs/portaudio ) postscript? ( app-text/epstool media-gfx/pstoedit media-gfx/transfig ) qhull? ( media-libs/qhull:0= ) qrupdate? ( sci-libs/qrupdate:0= ) readline? ( sys-libs/readline:0= ) sndfile? ( media-libs/libsndfile ) sparse? ( sci-libs/arpack:0= sci-libs/camd:0= sci-libs/ccolamd:0= sci-libs/cholmod:0= sci-libs/colamd:0= sci-libs/cxsparse:0= sci-libs/umfpack:0= ) ssl? ( dev-libs/openssl:0= ) sundials? ( >=sci-libs/sundials-4:0= ) X? ( x11-libs/libX11:0= ) virtual/fortran java? ( >=dev-java/java-config-2.2.0-r3 ) SLOT=0/6.4.0 SRC_URI=mirror://gnu/octave/octave-6.4.0.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=b5aec0e0f6d592b944ae7bd3080b2131 +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib de4beb52bfa93c4c5d96792a6b5e1784 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=efb3a95012f6b3aaf6394fa4189cb844 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.13.1 b/metadata/md5-cache/sci-mathematics/petsc-3.13.1 index 3909aa5fe46b..d3a8342bfc5e 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.13.1 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.13.1 @@ -11,5 +11,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.13.1.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=63475ba09b89ae07023b0cab570aeb9b diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.14.6 b/metadata/md5-cache/sci-mathematics/petsc-3.14.6 index d135da48147b..fb8bfdf9ba32 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.14.6 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.14.6 @@ -11,5 +11,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.14.6.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=14406d96acf911ab20c83c31d62afd16 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.15.0 b/metadata/md5-cache/sci-mathematics/petsc-3.15.0 index a25983aea0c2..15fb85053bb8 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.15.0 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.15.0 @@ -11,5 +11,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.15.0.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=695b62add0d0233aee4a49f1f7d503fc diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.15.0-r1 b/metadata/md5-cache/sci-mathematics/petsc-3.15.0-r1 index fba5a6181b54..4eee488f7326 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.15.0-r1 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.15.0-r1 @@ -11,5 +11,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.15.0.tar.gz -_eclasses_=flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=ad21c201897dd1d35122b19ced9f5e69 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.16.0 b/metadata/md5-cache/sci-mathematics/petsc-3.16.0 index de669c024961..432ae3aa6654 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.16.0 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.16.0 @@ -11,5 +11,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 cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 fortran-2 a85daa133d055abaa5ec7504ab4a4c27 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=9447ed1bd38339e3d34b1a993c49d7cf diff --git a/metadata/md5-cache/sci-mathematics/polymake-4.6 b/metadata/md5-cache/sci-mathematics/polymake-4.6 index 930d3fd13e88..f55889726af5 100644 --- a/metadata/md5-cache/sci-mathematics/polymake-4.6 +++ b/metadata/md5-cache/sci-mathematics/polymake-4.6 @@ -5,7 +5,7 @@ DESCRIPTION=Tool for polyhedral geometry and combinatorics EAPI=8 HOMEPAGE=https://polymake.org/ IUSE=bliss +cdd +flint +normaliz libpolymake lrs nauty ppl singular -KEYWORDS=~amd64 ~riscv ~x86 ~amd64-linux ~x86-linux +KEYWORDS=amd64 ~riscv ~x86 ~amd64-linux ~x86-linux LICENSE=BSD GPL-2 GPL-2+ MIT WTFPL-2 RDEPEND=libpolymake? ( dev-lang/perl ) dev-libs/boost:= dev-libs/gmp:= dev-libs/libxml2:2= dev-libs/libxslt:= dev-libs/mpfr:= sys-libs/readline:= bliss? ( sci-libs/bliss:=[gmp] ) cdd? ( sci-libs/cddlib:= ) lrs? ( >=sci-libs/lrslib-051:=[gmp] ) nauty? ( sci-mathematics/nauty:= ) normaliz? ( sci-mathematics/normaliz:= ) ppl? ( dev-libs/ppl:= ) singular? ( sci-mathematics/singular:= ) dev-lang/perl dev-perl/JSON dev-perl/Term-ReadLine-Gnu dev-perl/TermReadKey dev-perl/XML-SAX dev-perl/XML-Writer REQUIRED_USE=^^ ( bliss nauty ) @@ -13,4 +13,4 @@ RESTRICT=test SLOT=0 SRC_URI=https://polymake.org/lib/exe/fetch.php/download/polymake-4.6-minimal.tar.bz2 _eclasses_=flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=936223a4181cd223e2aefe69d8298d32 +_md5_=2d92d94be05ab840bc51d536900ddd76 diff --git a/metadata/md5-cache/sci-mathematics/primecount-7.2-r1 b/metadata/md5-cache/sci-mathematics/primecount-7.2-r1 index 4c4a2a338e2e..9704ae0db34d 100644 --- a/metadata/md5-cache/sci-mathematics/primecount-7.2-r1 +++ b/metadata/md5-cache/sci-mathematics/primecount-7.2-r1 @@ -11,5 +11,5 @@ RDEPEND=sci-mathematics/primesieve:= RESTRICT=!test? ( test ) SLOT=0/7 SRC_URI=https://github.com/kimwalisch/primecount/archive/refs/tags/v7.2.tar.gz -> primecount-7.2.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=fbe75f745cafd614ed84993e6dbe5370 diff --git a/metadata/md5-cache/sci-mathematics/primesieve-7.7 b/metadata/md5-cache/sci-mathematics/primesieve-7.7 index 1288a5e472cc..d1202a78f45d 100644 --- a/metadata/md5-cache/sci-mathematics/primesieve-7.7 +++ b/metadata/md5-cache/sci-mathematics/primesieve-7.7 @@ -9,5 +9,5 @@ LICENSE=BSD-2 RESTRICT=!test? ( test ) SLOT=0/9 SRC_URI=https://github.com/kimwalisch/primesieve/archive/refs/tags/v7.7.tar.gz -> primesieve-7.7.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=e6ca0dfe73dfd0bd7c704ac276634645 diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 index dd916481a31d..71ce5abc905f 100644 --- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 +++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 @@ -5,11 +5,11 @@ DESCRIPTION=Library to parse and type-check an extension of the SMT-LIB 2 standa EAPI=8 HOMEPAGE=https://github.com/OCamlPro-Coquera/psmt2-frontend IUSE=+ocamlopt test -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=Apache-2.0 RDEPEND=>=dev-ml/menhir-20181006:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=!test? ( test ) SLOT=0/0.4.0 SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> psmt2-frontend-0.4.0.tar.gz -_eclasses_=dune 45f8b4ed9487a03522a647f3f33cb404 -_md5_=710c25e3cf2848a7eafb556f5d8902ee +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=5c6cd9f4f1c220aed0bdf02f3deaacfc diff --git a/metadata/md5-cache/sci-mathematics/pspp-1.2.0-r1 b/metadata/md5-cache/sci-mathematics/pspp-1.2.0-r1 index 5930b3bee3d8..0ee41d5efd69 100644 --- a/metadata/md5-cache/sci-mathematics/pspp-1.2.0-r1 +++ b/metadata/md5-cache/sci-mathematics/pspp-1.2.0-r1 @@ -12,5 +12,5 @@ REQUIRED_USE=test? ( cairo ) RESTRICT=!test? ( test ) SLOT=0/1.2.0 SRC_URI=mirror://gnu/pspp/pspp-1.2.0.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 elisp-common cf4fd1b0835b9f3e638724840468064a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 elisp-common cf4fd1b0835b9f3e638724840468064a multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=5a1ef997b5a067861c3946ad29582b2a diff --git a/metadata/md5-cache/sci-mathematics/pspp-1.4.1 b/metadata/md5-cache/sci-mathematics/pspp-1.4.1 index 12b595878f5d..846fed42509f 100644 --- a/metadata/md5-cache/sci-mathematics/pspp-1.4.1 +++ b/metadata/md5-cache/sci-mathematics/pspp-1.4.1 @@ -12,5 +12,5 @@ REQUIRED_USE=test? ( cairo ) RESTRICT=!test? ( test ) SLOT=0/1.4.1 SRC_URI=mirror://gnu/pspp/pspp-1.4.1.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=fb7b117756c5945e5975b02d10881f87 diff --git a/metadata/md5-cache/sci-mathematics/relational-2.5-r2 b/metadata/md5-cache/sci-mathematics/relational-2.5-r2 index 98811244409a..87ebf19791ac 100644 --- a/metadata/md5-cache/sci-mathematics/relational-2.5-r2 +++ b/metadata/md5-cache/sci-mathematics/relational-2.5-r2 @@ -10,5 +10,5 @@ RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) p REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 ) SLOT=0 SRC_URI=https://github.com/ltworf/relational/releases/download/2.5/relational_2.5.orig.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 _md5_=e3f855a4b1eb10a390eb93909616c269 diff --git a/metadata/md5-cache/sci-mathematics/rkward-0.7.2-r1 b/metadata/md5-cache/sci-mathematics/rkward-0.7.2-r1 index 16f0df2e5df3..d84202d4f50a 100644 --- a/metadata/md5-cache/sci-mathematics/rkward-0.7.2-r1 +++ b/metadata/md5-cache/sci-mathematics/rkward-0.7.2-r1 @@ -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 11fee991ab428a3370e5c20fa8231fb6 ecm 36917df90b51554478635e34da581fac flag-o-matic a500d7cc40da3de38c361e889153bdf7 kde.org 2c51d68845490f23d6f76d49cabdac5d multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 virtualx fa024aa649b6bd544144bf94893d402c xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 ecm 36917df90b51554478635e34da581fac flag-o-matic a500d7cc40da3de38c361e889153bdf7 kde.org 2c51d68845490f23d6f76d49cabdac5d multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 virtualx fa024aa649b6bd544144bf94893d402c xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=8a1e147495f5974adc951d10df7f5c7e diff --git a/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1 b/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1 index ccf18a3da094..13d27337bf39 100644 --- a/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1 +++ b/metadata/md5-cache/sci-mathematics/rstudio-1.3.1093-r1 @@ -10,5 +10,5 @@ LICENSE=AGPL-3 RDEPEND=>=app-text/pandoc-2.9.2.1 dev-java/aopalliance:1 dev-java/gin:2.1 dev-java/javax-inject =dev-java/validation-api-1.0*:1.0[source] dev-haskell/pandoc-citeproc dev-lang/R dev-libs/boost:= >=dev-libs/mathjax-2.7.4 sys-apps/util-linux sys-devel/clang:* sys-libs/zlib >=virtual/jre-1.8:= x11-libs/pango !dedicated? ( >=dev-qt/qtcore-5.12.6:5 >=dev-qt/qtdeclarative-5.12.6:5 >=dev-qt/qtdbus-5.12.6:5 >=dev-qt/qtgui-5.12.6:5 >=dev-qt/qtnetwork-5.12.6:5 >=dev-qt/qtopengl-5.12.6:5 >=dev-qt/qtpositioning-5.12.6:5 >=dev-qt/qtprintsupport-5.12.6:5 >=dev-qt/qtsingleapplication-2.6.1_p20150629[X,qt5(+)] >=dev-qt/qtsensors-5.12.6:5 >=dev-qt/qtsql-5.12.6:5 >=dev-qt/qtsvg-5.12.6:5 >=dev-qt/qtwebchannel-5.12.6:5 >=dev-qt/qtwebengine-5.12.6:5[widgets] >=dev-qt/qtwidgets-5.12.6:5 >=dev-qt/qtxml-5.12.6:5 >=dev-qt/qtxmlpatterns-5.12.6:5 server? ( sys-libs/pam ) ) dedicated? ( sys-libs/pam ) dedicated? ( sys-libs/pam acct-user/rstudio-server acct-group/rstudio-server ) server? ( acct-user/rstudio-server acct-group/rstudio-server ) dev-libs/openssl:0= >=dev-java/java-config-2.2.0-r3 SLOT=0 SRC_URI=https://github.com/rstudio/rstudio/archive/v1.3.1093.tar.gz -> rstudio-1.3.1093.tar.gz https://s3.amazonaws.com/rstudio-dictionaries/core-dictionaries.zip -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 java-ant-2 262d853e2dd1056dc103b953dfc113b9 java-pkg-2 2d0eb1353bf1264bd6e61736d3e409a2 java-utils-2 fe178a2da6b16798a2363acc5543dffa multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam e44a1dd98f13e1ad76de01e919bde1f1 pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 java-ant-2 262d853e2dd1056dc103b953dfc113b9 java-pkg-2 2d0eb1353bf1264bd6e61736d3e409a2 java-utils-2 fe178a2da6b16798a2363acc5543dffa multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam e44a1dd98f13e1ad76de01e919bde1f1 pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 vcs-clean d271b7bc7e6a009758d7d4ef749174e3 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=690ba148729925a510aee79e2fbdb847 diff --git a/metadata/md5-cache/sci-mathematics/singular-4.2.1-r1 b/metadata/md5-cache/sci-mathematics/singular-4.2.1-r1 deleted file mode 100644 index aba0de2f4e83..000000000000 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.1-r1 +++ /dev/null @@ -1,14 +0,0 @@ -BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 -DEFINED_PHASES=compile configure install postinst postrm prepare test -DEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) julia? ( dev-lang/julia ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) -DESCRIPTION=Computer algebra system for polynomial computations -EAPI=8 -HOMEPAGE=https://www.singular.uni-kl.de/ https://github.com/Singular/Singular -IUSE=emacs examples julia polymake +readline static-libs -KEYWORDS=~amd64 ~x86 ~x86-linux -LICENSE=BSD GPL-2 GPL-3 -RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) julia? ( dev-lang/julia ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) -SLOT=0 -SRC_URI=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/4-2-1/singular-4.2.1.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e elisp-common cf4fd1b0835b9f3e638724840468064a flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=b8b87297df44b76b2fc04e6bd65c2eea diff --git a/metadata/md5-cache/sci-mathematics/singular-4.2.1_p3 b/metadata/md5-cache/sci-mathematics/singular-4.2.1_p3-r1 index be1f07743deb..379b45f2f362 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.1_p3 +++ b/metadata/md5-cache/sci-mathematics/singular-4.2.1_p3-r1 @@ -1,14 +1,14 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=compile configure install postinst postrm prepare test -DEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) julia? ( dev-lang/julia ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) +DEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) DESCRIPTION=Computer algebra system for polynomial computations EAPI=8 HOMEPAGE=https://www.singular.uni-kl.de/ https://github.com/Singular/Singular -IUSE=emacs examples julia polymake +readline static-libs -KEYWORDS=~amd64 ~ppc ~riscv ~x86 ~x86-linux +IUSE=emacs examples polymake +readline static-libs +KEYWORDS=amd64 ~ppc ~riscv ~x86 ~x86-linux LICENSE=BSD GPL-2 GPL-3 -RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) julia? ( dev-lang/julia ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) +RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline ) SLOT=0 SRC_URI=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/4-2-1/singular-4.2.1p3.tar.gz _eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e elisp-common cf4fd1b0835b9f3e638724840468064a flag-o-matic a500d7cc40da3de38c361e889153bdf7 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=ff7adb0c6c572396b356d82a5e8e3403 +_md5_=1f34beeb0c1467e9927eaa3231c267b4 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.13.1 b/metadata/md5-cache/sci-mathematics/slepc-3.13.1 index c95d6a117e33..5d0ddd8f885f 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.13.1 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.13.1 @@ -9,5 +9,5 @@ LICENSE=LGPL-3 RDEPEND==sci-mathematics/petsc-3.13*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) SLOT=0 SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.13.1.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=9c9ad2a8464dd031479a2a5ad4e2d536 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.14.2 b/metadata/md5-cache/sci-mathematics/slepc-3.14.2 index 741d2c162741..e7c7ca6f2b39 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.14.2 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.14.2 @@ -9,5 +9,5 @@ LICENSE=LGPL-3 RDEPEND==sci-mathematics/petsc-3.14*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) SLOT=0 SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.14.2.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=9c9ad2a8464dd031479a2a5ad4e2d536 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.15.0 b/metadata/md5-cache/sci-mathematics/slepc-3.15.0 index 6006bbcf42ed..77ee834af279 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.15.0 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.15.0 @@ -9,5 +9,5 @@ LICENSE=LGPL-3 RDEPEND==sci-mathematics/petsc-3.15*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) SLOT=0 SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.15.0.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=d842584f9dc73050aa04c8a1d5d551c3 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 index e79c8172b553..7fd9be49fbb5 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 @@ -9,5 +9,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 cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 1ff02d11ad6a5e4729b321ce843e0a33 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 54666a8fa603df658d9284845fc3d755 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=d842584f9dc73050aa04c8a1d5d551c3 diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 index f5e97de7aaa7..35c3228d07fe 100644 --- a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 +++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r1 @@ -12,5 +12,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 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 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=11e6806c88d32a5498968db645e8062f diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.6.1 b/metadata/md5-cache/sci-mathematics/vampire-4.6.1 index 2a852aee8e05..97e3e7a2e2a0 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.6.1 @@ -11,5 +11,5 @@ RDEPEND=z3? ( dev-libs/gmp:= sci-mathematics/z3:= ) RESTRICT=!debug? ( test ) SLOT=0/4.6.1 SRC_URI=https://github.com/vprover/vampire/archive/v4.6.1.tar.gz -> vampire-4.6.1.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=f3da72c91c07d0cbe2cb6c11b7d227cc diff --git a/metadata/md5-cache/sci-mathematics/verit-2021.06.2 b/metadata/md5-cache/sci-mathematics/verit-2021.06.2 index 0b54819214a2..d79adcd2adba 100644 --- a/metadata/md5-cache/sci-mathematics/verit-2021.06.2 +++ b/metadata/md5-cache/sci-mathematics/verit-2021.06.2 @@ -1,4 +1,3 @@ -BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 DEFINED_PHASES=install DEPEND=dev-libs/gmp:= DESCRIPTION=An open, trustable and efficient SMT-prover @@ -9,5 +8,4 @@ LICENSE=BSD RDEPEND=dev-libs/gmp:= SLOT=0 SRC_URI=https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=9e27524ceafb197d36fe664159b74cbf +_md5_=b0fc580538a81d6d73a26d6d62327302 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1 new file mode 100644 index 000000000000..b81957c54816 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1 @@ -0,0 +1,14 @@ +BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex media-gfx/graphviz dev-texlive/texlive-latex dev-texlive/texlive-fontsrecommended dev-texlive/texlive-latexextra ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20151112:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Platform for deductive program verification +EAPI=7 +HOMEPAGE=http://why3.lri.fr/ +IUSE=coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2 +RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20151112:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] +SLOT=0/1.4.1 +SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e findlib e6df6108c2d753998b1206f4d5ea4a2d gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=16dc085bd3683914513b886dc572ae1d diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2018 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2018 deleted file mode 100644 index 806ff66a7319..000000000000 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2018 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install -DEPEND=>=dev-lang/ocaml-4.02.3:=[ocamlopt=] dev-ml/menhir:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk:2=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) -DESCRIPTION=Platform for deductive program verification -EAPI=6 -HOMEPAGE=http://why3.lri.fr/ -IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip -KEYWORDS=amd64 -LICENSE=GPL-3 -RDEPEND=>=dev-lang/ocaml-4.02.3:=[ocamlopt=] dev-ml/menhir:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk:2=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) -REQUIRED_USE=html? ( doc ) -RESTRICT=strip -SLOT=0 -SRC_URI=http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a43 -> why3-for-spark-gpl-2018-src.tar.gz -_md5_=508e0d1cc5f3bd1a17638079a7e39bbf diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2 index b0dd8a405ce8..05c5534833b6 100644 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2 +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2 @@ -1,14 +1,14 @@ DEFINED_PHASES=compile configure install prepare -DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) +DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 <=dev-ml/menhir-20190924:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) DESCRIPTION=Platform for deductive program verification EAPI=7 HOMEPAGE=http://why3.lri.fr/ IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip -KEYWORDS=~amd64 +KEYWORDS=amd64 LICENSE=GPL-3 -RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) +RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 <=dev-ml/menhir-20190924:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= ) REQUIRED_USE=html? ( doc ) RESTRICT=strip SLOT=0 SRC_URI=http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> why3-2019-20190517-197BB-src.tar.gz -_md5_=c148026336fc23183403ceda38553051 +_md5_=d949f3f7dda2bc5506b3801593bfde31 diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 index 3a99483c2706..abf2a27b73ec 100644 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 @@ -13,4 +13,4 @@ RESTRICT=strip SLOT=0 SRC_URI=https://community.download.adacore.com/v1/8bb5801e17b8b23453262da69c981c091959eec7?filename=why3-2020-20200429-199EF-src.tar.gz _eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=62603ef2a6d6736857cc933b84074175 +_md5_=b32639c9bc4379b2b1992eb29ce7fc4b diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021 deleted file mode 100644 index d471c745565c..000000000000 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021 +++ /dev/null @@ -1,16 +0,0 @@ -BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 -DEFINED_PHASES=compile configure install prepare -DEPEND=dev-lang/ocaml:0/4.11[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber dev-python/sphinx media-gfx/graphviz dev-python/sphinxcontrib-bibtex ) gtk? ( dev-ml/lablgtk:=[sourceview] ) emacs? ( app-editors/emacs:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) -DESCRIPTION=Platform for deductive program verification -EAPI=7 -HOMEPAGE=http://why3.lri.fr/ -IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip -KEYWORDS=~amd64 -LICENSE=GPL-3 -RDEPEND=dev-lang/ocaml:0/4.11[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber dev-python/sphinx media-gfx/graphviz dev-python/sphinxcontrib-bibtex ) gtk? ( dev-ml/lablgtk:=[sourceview] ) emacs? ( app-editors/emacs:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) -REQUIRED_USE=html? ( doc ) -RESTRICT=strip -SLOT=0 -SRC_URI=https://community.download.adacore.com/v1/dd74ae7ecfd7d56aff7b17cee7a35559384a600f?filename=why3-2021-20210519-19ADF-src.tar.gz -> why3-2021-20210519-19ADF-src.tar.gz -_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 -_md5_=382a4836e83863a9bc21743b648ce47e diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 new file mode 100644 index 000000000000..b7de9b6f9992 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 @@ -0,0 +1,16 @@ +BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex dev-tex/rubber media-gfx/graphviz ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=>=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= coq? ( sci-mathematics/coq ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview] ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Platform for deductive program verification +EAPI=7 +HOMEPAGE=http://why3.lri.fr/ +IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip +ocamlopt +KEYWORDS=~amd64 +LICENSE=GPL-3 +RDEPEND=>=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= coq? ( sci-mathematics/coq ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview] ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] +REQUIRED_USE=html? ( doc ) +RESTRICT=strip +SLOT=0 +SRC_URI=https://community.download.adacore.com/v1/dd74ae7ecfd7d56aff7b17cee7a35559384a600f?filename=why3-2021-20210519-19ADF-src.tar.gz -> why3-2021-20210519-19ADF-src.tar.gz +_eclasses_=autotools 6cc26735fa9dd59e8c62880beda05b6e findlib e6df6108c2d753998b1206f4d5ea4a2d gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_md5_=1bb955ae0a1389033bf6f9a3c5baca56 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 b/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 index 573a46a66018..8b0c981314a6 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 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=5081022d100b00d2d646664e8fe694d6 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.2 index 41f21b891180..a1fa77dfff97 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 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9e42ea693fac3a48a4e149c8b8d0363f diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.0 index 77fd76129163..4672144f9ea4 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.0 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.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.11.0.tar.gz -> wxmaxima-21.11.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9e42ea693fac3a48a4e149c8b8d0363f diff --git a/metadata/md5-cache/sci-mathematics/yacas-1.7.0-r1 b/metadata/md5-cache/sci-mathematics/yacas-1.7.0-r1 index 661960375cdc..aebe0cfbd849 100644 --- a/metadata/md5-cache/sci-mathematics/yacas-1.7.0-r1 +++ b/metadata/md5-cache/sci-mathematics/yacas-1.7.0-r1 @@ -11,5 +11,5 @@ RDEPEND=gui? ( dev-qt/qtcore:5[icu] dev-qt/qtgui:5 dev-qt/qtmultimedia:5 dev-qt/ RESTRICT=!test? ( test ) SLOT=0/1 SRC_URI=https://codeload.github.com/grzegorzmazur/yacas/tar.gz/v1.7.0 -> yacas-1.7.0.tar.gz gui? ( https://dev.gentoo.org/~asturm/distfiles/yacas-bundled-1.7.0.tar.xz ) -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=428ba1aab526b9a32662fbdb3a17ac5d diff --git a/metadata/md5-cache/sci-mathematics/yacas-1.9.1 b/metadata/md5-cache/sci-mathematics/yacas-1.9.1 new file mode 100644 index 000000000000..bcb873a6ebe3 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/yacas-1.9.1 @@ -0,0 +1,15 @@ +BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install postinst postrm preinst prepare test +DEPEND=gui? ( dev-libs/mathjax dev-qt/qtcore:5[icu] dev-qt/qtgui:5 dev-qt/qtmultimedia:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtsql:5 dev-qt/qtsvg:5 dev-qt/qtwebengine:5[widgets] dev-qt/qtwidgets:5 ) jupyter? ( dev-libs/boost:= dev-libs/jsoncpp:= dev-libs/openssl:0= dev-python/jupyter net-libs/zeromq >=net-libs/zmqpp-4.1.2 ) +DESCRIPTION=General purpose computer algebra system +EAPI=8 +HOMEPAGE=https://www.yacas.org/ +IUSE=gui +jupyter static-libs test +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-2 gui? ( MIT Apache-2.0 OFL-1.1 ) +RDEPEND=gui? ( dev-libs/mathjax dev-qt/qtcore:5[icu] dev-qt/qtgui:5 dev-qt/qtmultimedia:5 dev-qt/qtnetwork:5 dev-qt/qtopengl:5 dev-qt/qtprintsupport:5 dev-qt/qtsql:5 dev-qt/qtsvg:5 dev-qt/qtwebengine:5[widgets] dev-qt/qtwidgets:5 ) jupyter? ( dev-libs/boost:= dev-libs/jsoncpp:= dev-libs/openssl:0= dev-python/jupyter net-libs/zeromq >=net-libs/zmqpp-4.1.2 ) +RESTRICT=!test? ( test ) +SLOT=0/1 +SRC_URI=https://github.com/grzegorzmazur/yacas/archive/refs/tags/v1.9.1.tar.gz -> yacas-1.9.1.tar.gz +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib de4beb52bfa93c4c5d96792a6b5e1784 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=9daa047b9c82bf0c1df65585890575ba diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.13 b/metadata/md5-cache/sci-mathematics/z3-4.8.13 deleted file mode 100644 index 63a749907eb0..000000000000 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.13 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=doc? ( app-doc/doxygen ) dev-util/ninja >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test -DEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.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(-)?] ) java? ( >=virtual/jdk-1.8 ) java? ( >=dev-java/java-config-2.2.0-r3 ) -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 java python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 -KEYWORDS=amd64 arm arm64 ~ppc ppc64 ~riscv x86 -LICENSE=MIT -RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.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(-)?] ) java? ( >=dev-java/java-config-2.2.0-r3 ) -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.13.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 cmake-multilib de2335e0bd21535a925d008ee3b98e2a eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multilib-build 75c3a5814f2cb851f641711bfcc100c0 multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=d9d6958347612c7d83f703dc48c63bb9 diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.14 b/metadata/md5-cache/sci-mathematics/z3-4.8.14 index 51648d1a7dd6..293fbaba7ad1 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.14 +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.14 @@ -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 java 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.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.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(-)?] ) java? ( >=dev-java/java-config-2.2.0-r3 ) 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.14.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 cmake-multilib de2335e0bd21535a925d008ee3b98e2a eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multilib-build 75c3a5814f2cb851f641711bfcc100c0 multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 003123b4d7119cfd295a7566b1830904 python-utils-r1 7ee47726753a2bd062a05f6643d849da strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=94a97cd1706bdd8d72b8e2bd61523d45 +_eclasses_=cmake 9f12546ab831b81c615d90e6b9e34e68 cmake-multilib de2335e0bd21535a925d008ee3b98e2a eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 java-pkg-opt-2 e5029f11aa150c447c7e006015f84356 java-utils-2 fe178a2da6b16798a2363acc5543dffa multibuild d79bd5b4bc4edcb1f5bc19591f8d4714 multilib de4beb52bfa93c4c5d96792a6b5e1784 multilib-build 75c3a5814f2cb851f641711bfcc100c0 multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 3c5721adc30f98c39739c5970a4762d8 python-utils-r1 d3d7da5aff94a677154819e0cb95ee36 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=1154ab6f8881060f1a320ccaad3b5cae |