diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
32 files changed, 68 insertions, 57 deletions
diff --git a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7 b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 index c02c1b0e6e83..65d9853d6647 100644 --- a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7 +++ b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 @@ -1,13 +1,13 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 DEFINED_PHASES=configure install prepare -DEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx] +DEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx(+)] DESCRIPTION=Software package for algebraic, geometric and combinatorial problems EAPI=7 HOMEPAGE=https://4ti2.github.io KEYWORDS=amd64 ~arm ppc x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 -RDEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx] +RDEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx(+)] SLOT=0 SRC_URI=http://4ti2.de/version_1.6.7/4ti2-1.6.7.tar.gz _eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 -_md5_=b407b9f93c82d44c1fdadd087ae6e2b8 +_md5_=d6fb4eee2999b91913b4f90d19af21e8 diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 1e0bf33c0099..c48aed75e646 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/agda-2.6.1.2 b/metadata/md5-cache/sci-mathematics/agda-2.6.1.2 index e68f3c8198c2..9199f37c4576 100644 --- a/metadata/md5-cache/sci-mathematics/agda-2.6.1.2 +++ b/metadata/md5-cache/sci-mathematics/agda-2.6.1.2 @@ -10,5 +10,5 @@ PDEPEND=stdlib? ( ~sci-mathematics/agda-stdlib-2.6.1.2.1.4 ) RDEPEND=>=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-1.6:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/blaze-html-0.8:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?] >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?] >=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/equivalence-0.3.2:=[profile?] <dev-haskell/equivalence-0.4:=[profile?] >=dev-haskell/exceptions-0.8:=[profile?] <dev-haskell/exceptions-0.11:=[profile?] >=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?] >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2.0:=[profile?] >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.4:=[profile?] >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] >=dev-haskell/haskeline-0.7.2.3:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] >=dev-haskell/ieee754-0.7.8:=[profile?] <dev-haskell/ieee754-0.9:=[profile?] >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] >=dev-haskell/murmur-hash-0.1:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?] >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?] >=dev-haskell/split-0.2.0.0:=[profile?] <dev-haskell/split-0.2.4:=[profile?] >=dev-haskell/stm-2.4.4:=[profile?] <dev-haskell/stm-2.6:=[profile?] >=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.5:=[profile?] >=dev-haskell/text-1.2.3.1:=[profile?] <dev-haskell/text-1.3:=[profile?] >=dev-haskell/unordered-containers-0.2.5.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/uri-encode-1.5.0.4:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?] >=dev-haskell/zlib-0.6:=[profile?] <dev-haskell/zlib-0.7:=[profile?] >=dev-lang/ghc-8.0.2:= enable-cluster-counting? ( >=dev-haskell/text-icu-0.7:=[profile?] <dev-haskell/text-icu-0.8:=[profile?] ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) SLOT=0/2.6.1.2 SRC_URI=https://hackage.haskell.org/package/Agda-2.6.1.2/Agda-2.6.1.2.tar.gz -_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 eutils 2d5b3f4b315094768576b6799e4f926e ghc-package 2f31876646b777a7851b22816735765c haskell-cabal 781f607e5fa6b3d28f694be10c79646b l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils 2d5b3f4b315094768576b6799e4f926e ghc-package 2f31876646b777a7851b22816735765c haskell-cabal 781f607e5fa6b3d28f694be10c79646b l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=1f3460c80b1eeef5a25db800e151e56d diff --git a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4 b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4 index 77bc4734252d..42d8608e1b59 100644 --- a/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4 +++ b/metadata/md5-cache/sci-mathematics/agda-stdlib-2.6.1.2.1.4 @@ -9,5 +9,5 @@ LICENSE=MIT RDEPEND=>=sci-mathematics/agda-2.6.1.2:=[profile?] SLOT=0 SRC_URI=https://github.com/agda/agda-stdlib/archive/v1.4.tar.gz -> agda-stdlib-2.6.1.2.1.4.tar.gz -_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 eutils 2d5b3f4b315094768576b6799e4f926e ghc-package 2f31876646b777a7851b22816735765c haskell-cabal 781f607e5fa6b3d28f694be10c79646b l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 +_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils 2d5b3f4b315094768576b6799e4f926e ghc-package 2f31876646b777a7851b22816735765c haskell-cabal 781f607e5fa6b3d28f694be10c79646b l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 _md5_=592624cf25722d12d36034a11cf539f8 diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.1 b/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 index 9838665c98f6..fdd53e30ddef 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.1 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.1-r2 @@ -1,14 +1,14 @@ BDEPEND=app-arch/xz-utils virtual/pkgconfig dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install prepare test -DEPEND=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 ) +DEPEND=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 ) DESCRIPTION=C++ library for geometric algorithms and data structures EAPI=7 HOMEPAGE=https://www.cgal.org/ IUSE=doc examples +gmp mpfi ntl qt5 KEYWORDS=amd64 ~arm64 x86 ~amd64-linux ~x86-linux 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 ) +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 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=4f8076f7b3b2a07502383bd14e5ce472 +_md5_=9884f288a9d496fb644c6451044c40ad diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.2 b/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 index 24f19778b42e..0449b872f949 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.2 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.2-r2 @@ -1,14 +1,14 @@ BDEPEND=app-arch/xz-utils virtual/pkgconfig dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install prepare test -DEPEND=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 ) +DEPEND=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 ) DESCRIPTION=C++ library for geometric algorithms and data structures EAPI=7 HOMEPAGE=https://www.cgal.org/ IUSE=doc examples +gmp mpfi ntl qt5 KEYWORDS=amd64 ~arm64 x86 ~amd64-linux ~x86-linux 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 ) +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 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=18e8d66e0f228189c00d61a30462d609 +_md5_=4cd5e56c9c063a59008d682a49041ade diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.2.1 b/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 index 5a55173282c6..e55e35d459f2 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.2.1 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.2.1-r2 @@ -1,14 +1,14 @@ BDEPEND=app-arch/xz-utils virtual/pkgconfig dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install prepare test -DEPEND=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 ) +DEPEND=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 ) DESCRIPTION=C++ library for geometric algorithms and data structures EAPI=7 HOMEPAGE=https://www.cgal.org/ IUSE=doc examples +gmp mpfi ntl qt5 KEYWORDS=~amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux 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 ) +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 518e4c9a6a38dfd7afc54b6a7c5de3da edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=b0ef1893a7194ebafd2748f6b9a98845 +_md5_=b3dd4d126edc79fe843385cca4c8b946 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0 b/metadata/md5-cache/sci-mathematics/coq-8.13.0 index 315a37afccaa..da626bc82291 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.13.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0 @@ -3,12 +3,12 @@ DEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( DESCRIPTION=Proof assistant written in O'Caml EAPI=7 HOMEPAGE=http://coq.inria.fr/ -IUSE=gtk debug +ocamlopt doc +IUSE=gtk debug +ocamlopt doc 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?] ) +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:=[ocamlopt?] RESTRICT=test SLOT=0 SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz -_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 findlib 197b318e28cee28e11c2b474328b50dd +_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 findlib 5650c438662492e827d9f565d656ec5f _md5_=1df475721d818781f764ea1537ed1af4 diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.6 b/metadata/md5-cache/sci-mathematics/fricas-1.3.6 index ac2ca00a19e7..205fdde126dc 100644 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.6 +++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.6 @@ -10,5 +10,5 @@ RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( >=app-editors/emacs-23.1 RESTRICT=strip SLOT=0 SRC_URI=mirror://sourceforge/fricas/fricas-1.3.6-full.tar.bz2 -_eclasses_=elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=elisp-common cf4fd1b0835b9f3e638724840468064a multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=e6cab1953113fb8f580268ea62aa9803 diff --git a/metadata/md5-cache/sci-mathematics/frobby-0.9.0-r2 b/metadata/md5-cache/sci-mathematics/frobby-0.9.0-r3 index 00aa9f1cd31c..241ce95e4986 100644 --- a/metadata/md5-cache/sci-mathematics/frobby-0.9.0-r2 +++ b/metadata/md5-cache/sci-mathematics/frobby-0.9.0-r3 @@ -1,13 +1,13 @@ DEFINED_PHASES=compile configure install prepare -DEPEND=dev-libs/gmp:0=[cxx] doc? ( virtual/latex-base ) +DEPEND=dev-libs/gmp:0=[cxx(+)] doc? ( virtual/latex-base ) DESCRIPTION=Software system and project for computations with monomial ideals EAPI=6 HOMEPAGE=http://www.broune.com/frobby/ IUSE=doc static-libs KEYWORDS=amd64 ~arm x86 LICENSE=GPL-2 -RDEPEND=dev-libs/gmp:0=[cxx] +RDEPEND=dev-libs/gmp:0=[cxx(+)] SLOT=0 SRC_URI=http://www.broune.com/frobby/frobby_v0.9.0.tar.gz _eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 -_md5_=68b602d263b3bdfa91a948bd19c27ab4 +_md5_=2baf31f84e798c0531cedf408e160124 diff --git a/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 b/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 index 13232c91bdc7..d7f716771bc2 100644 --- a/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 +++ b/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 @@ -9,5 +9,5 @@ LICENSE=LGPL-2.1 RDEPEND=virtual/glu virtual/opengl x11-libs/motif:0 emacs? ( >=app-editors/emacs-23.1:* ) zlib? ( sys-libs/zlib ) x11-misc/xdg-utils SLOT=0 SRC_URI=mirror://sourceforge/geomview/geomview-1.9.5.tar.bz2 https://dev.gentoo.org/~jlec/distfiles/geomview.png.tar -_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg c7ba313ea1eaf266f95cc6235f7d6a07 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=1832af9bce2969c9d5ec5ff33060e9d3 diff --git a/metadata/md5-cache/sci-mathematics/gfan-0.6.2 b/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r2 index 04bf3a30a725..2cb8a191adaa 100644 --- a/metadata/md5-cache/sci-mathematics/gfan-0.6.2 +++ b/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r2 @@ -1,14 +1,14 @@ BDEPEND=doc? ( virtual/latex-base ) DEFINED_PHASES=compile configure install prepare setup -DEPEND=dev-libs/gmp:0=[cxx] sci-libs/cddlib:0= +DEPEND=dev-libs/gmp:0=[cxx(+)] sci-libs/cddlib:0= DESCRIPTION=Compute Groebner fans and tropical varieties EAPI=7 HOMEPAGE=https://users-math.au.dk/~jensen/software/gfan/gfan.html IUSE=doc KEYWORDS=amd64 ~arm x86 ~amd64-linux ~x86-linux LICENSE=GPL-2+ -RDEPEND=dev-libs/gmp:0=[cxx] sci-libs/cddlib:0= +RDEPEND=dev-libs/gmp:0=[cxx(+)] sci-libs/cddlib:0= SLOT=0 SRC_URI=https://users-math.au.dk/~jensen/software/gfan/gfan0.6.2.tar.gz _eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=aa9aed70957a27ff45498eb2794a362a +_md5_=8cc9446d584825944fd1f7bfa97c7831 diff --git a/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r1 b/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r3 index f64dcbb5cfc5..33d42e0c9de4 100644 --- a/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r1 +++ b/metadata/md5-cache/sci-mathematics/gfan-0.6.2-r3 @@ -1,14 +1,14 @@ BDEPEND=doc? ( virtual/latex-base ) DEFINED_PHASES=compile configure install prepare setup -DEPEND=dev-libs/gmp:0=[cxx] sci-libs/cddlib:0= +DEPEND=dev-libs/gmp:0=[cxx(+)] sci-libs/cddlib:0= DESCRIPTION=Compute Groebner fans and tropical varieties EAPI=7 HOMEPAGE=https://users-math.au.dk/~jensen/software/gfan/gfan.html IUSE=doc KEYWORDS=amd64 ~arm ~x86 ~amd64-linux ~x86-linux LICENSE=GPL-2+ -RDEPEND=dev-libs/gmp:0=[cxx] sci-libs/cddlib:0= +RDEPEND=dev-libs/gmp:0=[cxx(+)] sci-libs/cddlib:0= SLOT=0 SRC_URI=https://users-math.au.dk/~jensen/software/gfan/gfan0.6.2.tar.gz _eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=5a40f85048923eb37ca1efba8731e17a +_md5_=f6b6623de7dd289594f5b143eba65894 diff --git a/metadata/md5-cache/sci-mathematics/giac-1.7.0.13 b/metadata/md5-cache/sci-mathematics/giac-1.7.0.13-r1 index 02c1a0a38ab4..8053fbf1621c 100644 --- a/metadata/md5-cache/sci-mathematics/giac-1.7.0.13 +++ b/metadata/md5-cache/sci-mathematics/giac-1.7.0.13-r1 @@ -1,16 +1,16 @@ BDEPEND=dev-tex/hevea virtual/pkgconfig virtual/yacc sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 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 ) +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 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 LICENSE=GPL-2 -RDEPEND=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 ) +RDEPEND=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 ) 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-13.tar.gz _eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=bf13924261bf765f5ba4197d026ba910 +_md5_=cf114a41f26710ac6d76861ed1375400 diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.3.6 b/metadata/md5-cache/sci-mathematics/gimps-30.3.6 index ecd59362a794..d182710c6330 100644 --- a/metadata/md5-cache/sci-mathematics/gimps-30.3.6 +++ b/metadata/md5-cache/sci-mathematics/gimps-30.3.6 @@ -9,5 +9,5 @@ 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/p95v303b6.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v303b6.linux32.tar.gz ) -_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 22ae82e140bdd95d17a34fd5fd733190 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 e51390d48521eb3d400db57d557b7530 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=d4a593534e55ad4d6af15b11154bece2 diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.5.2 b/metadata/md5-cache/sci-mathematics/gimps-30.5.2 index b36569890bb9..160dc2f40324 100644 --- a/metadata/md5-cache/sci-mathematics/gimps-30.5.2 +++ b/metadata/md5-cache/sci-mathematics/gimps-30.5.2 @@ -9,5 +9,5 @@ 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/p95v305b2.linux64.tar.gz ) x86? ( https://www.mersenne.org/ftp_root/gimps/p95v305b2.linux32.tar.gz ) -_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 22ae82e140bdd95d17a34fd5fd733190 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 e51390d48521eb3d400db57d557b7530 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=fc196d74cce6b501e862f34761df2725 diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.6.4 b/metadata/md5-cache/sci-mathematics/gimps-30.6.4 index 16c473212b3d..da1ae29ee2c9 100644 --- a/metadata/md5-cache/sci-mathematics/gimps-30.6.4 +++ b/metadata/md5-cache/sci-mathematics/gimps-30.6.4 @@ -9,5 +9,5 @@ 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/p95v306b4.linux64.tar.gz -> gimps-30.6.4.linux64.tar.gz ) -_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 22ae82e140bdd95d17a34fd5fd733190 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=multilib ebdbaed22e873a5abe6205f41349b479 pax-utils d3fc79d3d50544347e324864f95206e2 readme.gentoo-r1 e51390d48521eb3d400db57d557b7530 systemd fdf0d765c3f11f91fe54f8def9a8c0e6 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=fa502a8d23a582fbd32a485a2943a1f0 diff --git a/metadata/md5-cache/sci-mathematics/gretl-1.9.90 b/metadata/md5-cache/sci-mathematics/gretl-1.9.90 index 1fc13e074374..b1002616718d 100644 --- a/metadata/md5-cache/sci-mathematics/gretl-1.9.90 +++ b/metadata/md5-cache/sci-mathematics/gretl-1.9.90 @@ -10,5 +10,5 @@ RDEPEND=dev-libs/glib:2= dev-libs/gmp:0= dev-libs/libxml2:2= dev-libs/mpfr:0= sc REQUIRED_USE=emacs? ( gtk ) !curl? ( !gtk ) SLOT=0/10 SRC_URI=mirror://sourceforge/gretl/gretl-1.9.90.tar.xz -_eclasses_=eapi7-ver f9ec87e93172b25ce65a85303dc06964 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=eapi7-ver f9ec87e93172b25ce65a85303dc06964 elisp-common cf4fd1b0835b9f3e638724840468064a multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=3110f362884429f03e0af5c56ed983e6 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.42.1 b/metadata/md5-cache/sci-mathematics/maxima-5.42.1 index bb358c8ae8a0..480cf0bec360 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.42.1 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.42.1 @@ -9,5 +9,5 @@ LICENSE=GPL-2 GPL-2+ RDEPEND=!app-emacs/imaxima X? ( x11-misc/xdg-utils sci-visualization/gnuplot[gd] tk? ( dev-lang/tk:0 ) ) emacs? ( >=app-editors/emacs-23.1:* virtual/latex-base app-emacs/auctex app-text/ghostscript-gpl dev-texlive/texlive-latexrecommended ) clisp? ( dev-lisp/clisp:= ) clozurecl? ( dev-lisp/clozurecl:= app-misc/rlwrap ) ecls? ( dev-lisp/ecls:= app-misc/rlwrap ) gcl? ( dev-lisp/gcl:= ) cmucl? ( dev-lisp/cmucl:= app-misc/rlwrap ) sbcl? ( dev-lisp/sbcl:= app-misc/rlwrap ) !clisp? ( !clozurecl? ( !ecls? ( !gcl? ( !cmucl? ( !sbcl? ( arm? ( dev-lisp/gcl:= ) !arm? ( dev-lisp/sbcl:= app-misc/rlwrap ) ) ) ) ) ) ) SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.42.1.tar.gz -_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver f9ec87e93172b25ce65a85303dc06964 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils 2d5b3f4b315094768576b6799e4f926e gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib ebdbaed22e873a5abe6205f41349b479 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver f9ec87e93172b25ce65a85303dc06964 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils 2d5b3f4b315094768576b6799e4f926e gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib ebdbaed22e873a5abe6205f41349b479 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=0b1728a482df789b983aa05a10dea46b diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r4 b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r4 index 242a0794ce26..71fe3101ab00 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r4 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r4 @@ -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 9e63f92c2a5d867fea55ecb160c7d354 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver f9ec87e93172b25ce65a85303dc06964 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib ebdbaed22e873a5abe6205f41349b479 preserve-libs ef207dc62baddfddfd39a164d9797648 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver f9ec87e93172b25ce65a85303dc06964 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib ebdbaed22e873a5abe6205f41349b479 preserve-libs ef207dc62baddfddfd39a164d9797648 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=538a51f874a137ba31e4fc5117532fae diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r8 b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r8 index e5f44cbe37ee..08f7b4d40336 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r8 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.44.0-r8 @@ -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 9e63f92c2a5d867fea55ecb160c7d354 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=598601282f0c52b99f92992077c65440 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.45.0 b/metadata/md5-cache/sci-mathematics/maxima-5.45.0 index 61937a7194a4..a56b117af356 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.45.0 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.45.0 @@ -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.45.0.tar.gz -_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc gnuconfig 9f91b4b0c84e734a87492d4293f03de5 l10n 8cdd85e169b835d518bc2fd59f780d8e libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=4eb7d4a51aaac9e46896e78f68000fd3 diff --git a/metadata/md5-cache/sci-mathematics/normaliz-3.1.3 b/metadata/md5-cache/sci-mathematics/normaliz-3.1.3-r1 index d2b1f25296fa..cfe0e5061313 100644 --- a/metadata/md5-cache/sci-mathematics/normaliz-3.1.3 +++ b/metadata/md5-cache/sci-mathematics/normaliz-3.1.3-r1 @@ -1,13 +1,13 @@ DEFINED_PHASES=configure install prepare -DEPEND=dev-libs/gmp[cxx] doc? ( app-text/texlive ) dev-libs/boost +DEPEND=dev-libs/gmp[cxx(+)] doc? ( app-text/texlive ) dev-libs/boost DESCRIPTION=Tool for computations in affine monoids and more EAPI=6 HOMEPAGE=http://www.mathematik.uni-osnabrueck.de/normaliz/ IUSE=doc extras openmp KEYWORDS=amd64 ~arm x86 LICENSE=GPL-3 -RDEPEND=dev-libs/gmp[cxx] +RDEPEND=dev-libs/gmp[cxx(+)] SLOT=0 SRC_URI=https://github.com/Normaliz/Normaliz/archive/v3.1.3.tar.gz -> normaliz-3.1.3.tar.gz _eclasses_=estack 055c42df72f76a4f45ec92b35e83cd56 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 versionator d3fb3ba33acc3bbbdc4d7970227c100d -_md5_=fa69d6b86faf7eee94a6d5c73eca04fa +_md5_=97a6f08ae0e8e5a45c58d3aff6428deb diff --git a/metadata/md5-cache/sci-mathematics/normaliz-3.8.10 b/metadata/md5-cache/sci-mathematics/normaliz-3.8.10-r1 index 8344a36454ce..eefc96f6a6fb 100644 --- a/metadata/md5-cache/sci-mathematics/normaliz-3.8.10 +++ b/metadata/md5-cache/sci-mathematics/normaliz-3.8.10-r1 @@ -1,14 +1,14 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 DEFINED_PHASES=configure install prepare setup test -DEPEND=dev-libs/gmp:=[cxx] dev-libs/boost +DEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/boost DESCRIPTION=Tool for computations in affine monoids and more EAPI=7 HOMEPAGE=http://www.mathematik.uni-osnabrueck.de/normaliz/ IUSE=doc extras openmp KEYWORDS=~amd64 ~arm ~x86 ~amd64-linux ~x86-linux LICENSE=GPL-3 -RDEPEND=dev-libs/gmp:=[cxx] +RDEPEND=dev-libs/gmp:=[cxx(+)] SLOT=0/3 SRC_URI=https://github.com/Normaliz/Normaliz/archive/v3.8.10.tar.gz -> normaliz-3.8.10.tar.gz _eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 -_md5_=2b21fe24987afbe9e24931f8939920a5 +_md5_=6741e7aae5fcee0ef914bcd47799dc5b diff --git a/metadata/md5-cache/sci-mathematics/planarity-3.0.1.0 b/metadata/md5-cache/sci-mathematics/planarity-3.0.1.0 new file mode 100644 index 000000000000..67602cdd8bb8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/planarity-3.0.1.0 @@ -0,0 +1,10 @@ +DEFINED_PHASES=configure install +DESCRIPTION=The edge addition planarity suite of graph algorithms +EAPI=7 +HOMEPAGE=https://github.com/graph-algorithms/edge-addition-planarity-suite/ +IUSE=static-libs +KEYWORDS=~amd64 ~x86 +LICENSE=BSD +SLOT=0 +SRC_URI=https://github.com/graph-algorithms/edge-addition-planarity-suite/releases/download/Version_3.0.1.0/planarity-3.0.1.0.tar.gz +_md5_=652a9799c181f6655cdf340d924fe4fa diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 index 7f5fb0d84c34..ea50d8cdb894 100644 --- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 +++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 @@ -4,10 +4,11 @@ DEPEND=>=dev-ml/menhir-20181006 >=dev-ml/findlib-1.0.4-r1 DESCRIPTION=Library to parse and type-check an extension of the SMT-LIB 2 standard EAPI=7 HOMEPAGE=https://github.com/OCamlPro-Coquera/psmt2-frontend +IUSE=ocamlopt KEYWORDS=amd64 ~x86 LICENSE=Apache-2.0 -RDEPEND=>=dev-ml/menhir-20181006 +RDEPEND=>=dev-ml/menhir-20181006 dev-lang/ocaml:=[ocamlopt?] SLOT=0 SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.2.tar.gz -> psmt2-frontend-0.2.tar.gz -_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 findlib 197b318e28cee28e11c2b474328b50dd gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 findlib 5650c438662492e827d9f565d656ec5f gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=8babbf81ec962f9ae8c2edc628d37b26 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 bdb4b25650d2..4b53b4dc1d4c 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_=elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 multilib ebdbaed22e873a5abe6205f41349b479 python-any-r1 17241a11501065ff3651350040875aa9 python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=elisp-common cf4fd1b0835b9f3e638724840468064a multilib ebdbaed22e873a5abe6205f41349b479 python-any-r1 17241a11501065ff3651350040875aa9 python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=5a1ef997b5a067861c3946ad29582b2a diff --git a/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 b/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 index 5902d9ef897e..cd12dbd6bd77 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 +++ b/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 @@ -10,5 +10,5 @@ LICENSE=BSD GPL-2 GPL-3 RDEPEND=dev-libs/gmp:0 dev-libs/ntl:= emacs? ( >=app-editors/emacs-23.1:* ) sci-mathematics/flint sci-libs/cddlib dev-lang/perl readline? ( sys-libs/readline ) SLOT=0 SRC_URI=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/4-2-0/singular-4.2.0p1.tar.gz -_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 elisp-common cf4fd1b0835b9f3e638724840468064a gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=e7eb022fe1abff7402cb2aa50e40f56c diff --git a/metadata/md5-cache/sci-mathematics/singular-4.2.0_p3 b/metadata/md5-cache/sci-mathematics/singular-4.2.0_p3 index 89516ac33f27..4325dd40392b 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.0_p3 +++ b/metadata/md5-cache/sci-mathematics/singular-4.2.0_p3 @@ -10,5 +10,5 @@ LICENSE=BSD GPL-2 GPL-3 RDEPEND=dev-libs/gmp:0 dev-libs/ntl:= emacs? ( >=app-editors/emacs-23.1:* ) sci-mathematics/flint sci-libs/cddlib dev-lang/perl readline? ( sys-libs/readline ) SLOT=0 SRC_URI=ftp://jim.mathematik.uni-kl.de/pub/Math/Singular/SOURCES/4-2-0/singular-4.2.0p3.tar.gz -_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=autotools 9e63f92c2a5d867fea55ecb160c7d354 elisp-common cf4fd1b0835b9f3e638724840468064a gnuconfig 9f91b4b0c84e734a87492d4293f03de5 libtool f143db5a74ccd9ca28c1234deffede96 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=1748f0857600a541ff389d9f9c5c9dc8 diff --git a/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r1 b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r1 index fb7ff1163af9..f67eadb7b7b2 100644 --- a/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r1 +++ b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r1 @@ -10,5 +10,5 @@ RDEPEND=>=dev-lang/mlton-20180207 doc? ( virtual/latex-base app-text/texi2html ) RESTRICT=test SLOT=0/1.7.1 SRC_URI=http://twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz -_eclasses_=eapi7-ver f9ec87e93172b25ce65a85303dc06964 elisp-common 6bfea130fc0f2cbd4cbc23dc12992349 multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 +_eclasses_=eapi7-ver f9ec87e93172b25ce65a85303dc06964 elisp-common cf4fd1b0835b9f3e638724840468064a multilib ebdbaed22e873a5abe6205f41349b479 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 _md5_=3f74bd2a1cb3329163c5601478e0df0a diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.10 b/metadata/md5-cache/sci-mathematics/z3-4.8.10-r1 index 9d8c92921f88..4f0824753660 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.10 +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.10-r1 @@ -1,15 +1,15 @@ BDEPEND=doc? ( app-doc/doxygen ) dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install postinst postrm prepare setup test -DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) +DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) DESCRIPTION=An efficient theorem prover EAPI=7 HOMEPAGE=https://github.com/Z3Prover/z3/ IUSE=doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 python_single_target_python3_8 python_single_target_python3_9 KEYWORDS=amd64 arm arm64 ~ppc ppc64 ~riscv x86 LICENSE=MIT -RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) +RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 ) SLOT=0/4.8 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz _eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da cmake-multilib ec7d503d01bc4e2f2692f8bf90a64e41 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multibuild 6b3d5ee849dafe6cdfd7b859c211fb01 multilib ebdbaed22e873a5abe6205f41349b479 multilib-build c311a933538fe97b72600926696ea66f multilib-minimal 12533389e8f5cc25f70ffcddbc9b3d29 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=68365c9a88c1c2d8fb191a90b829f5b0 +_md5_=8c9f2f5e34609cc6f9e0f5ff21abaf4d diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.11 b/metadata/md5-cache/sci-mathematics/z3-4.8.11-r1 index c7bceba11c28..fc020def1545 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.11 +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.11-r1 @@ -1,15 +1,15 @@ BDEPEND=doc? ( app-doc/doxygen ) dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install postinst postrm prepare setup test -DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) +DEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) DESCRIPTION=An efficient theorem prover EAPI=7 HOMEPAGE=https://github.com/Z3Prover/z3/ IUSE=doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 python_single_target_python3_8 python_single_target_python3_9 KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 LICENSE=MIT -RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx,abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) +RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 ) SLOT=0/4.8 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.11.tar.gz _eclasses_=cmake 518e4c9a6a38dfd7afc54b6a7c5de3da cmake-multilib ec7d503d01bc4e2f2692f8bf90a64e41 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic bc2e7662a4a9a8643be851982a837ddc l10n 8cdd85e169b835d518bc2fd59f780d8e multibuild 6b3d5ee849dafe6cdfd7b859c211fb01 multilib ebdbaed22e873a5abe6205f41349b479 multilib-build c311a933538fe97b72600926696ea66f multilib-minimal 12533389e8f5cc25f70ffcddbc9b3d29 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f python-single-r1 d25ac9d5d91fe9d44fda6ec192aca11a python-utils-r1 6e84b7d3d8d0bb1ee12774f4a66909e2 toolchain-funcs 24921b57d6561d87cbef4916a296ada4 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=1980107c80c55c004b7bc992831963df +_md5_=bb58374f468767ee79039226048e6f9b |