diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
38 files changed, 189 insertions, 94 deletions
diff --git a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 index 47cd79325785..5df7f3f8685c 100644 --- a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 +++ b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 @@ -4,10 +4,10 @@ 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 +KEYWORDS=amd64 ~arm ~ppc x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 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 c9df06c186913b43eb211100ef5fe2cf gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa -_md5_=d6fb4eee2999b91913b4f90d19af21e8 +_md5_=e0a7d5f0942d9297ea095c715f047dcc diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 46ec42082015..2a52d4be1036 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/arb-2.21.0 b/metadata/md5-cache/sci-mathematics/arb-2.21.0 index a5409e25978a..34c6197714ae 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.21.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.21.0 @@ -5,11 +5,11 @@ DESCRIPTION=C library for arbitrary-precision interval arithmetic EAPI=7 HOMEPAGE=https://fredrikj.net/arb/ IUSE=test -KEYWORDS=~amd64 ~arm ~arm64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos +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/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 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=45c2d31cdc7745d502606e611dd80f75 +_md5_=9e769de73e715e187ba25328fd1752ea diff --git a/metadata/md5-cache/sci-mathematics/cliquer-1.22 b/metadata/md5-cache/sci-mathematics/cliquer-1.22 index f3dec858999b..f5c59d6a90f2 100644 --- a/metadata/md5-cache/sci-mathematics/cliquer-1.22 +++ b/metadata/md5-cache/sci-mathematics/cliquer-1.22 @@ -3,8 +3,8 @@ DESCRIPTION=C routines for finding cliques in an arbitrary weighted graph EAPI=7 HOMEPAGE=https://users.aalto.fi/~pat/cliquer.html https://github.com/dimpase/autocliquer IUSE=static-libs -KEYWORDS=amd64 x86 +KEYWORDS=amd64 ~arm x86 LICENSE=GPL-2 SLOT=0 SRC_URI=http://files.sagemath.org/spkg/upstream/cliquer/cliquer-1.22.tar.gz -_md5_=a8120ad1b79aba290c4f9bdfb9f95183 +_md5_=9f311c7c3553ae4ac5c468bf0d315ba7 diff --git a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 index 789be7eada6f..339f291270d1 100644 --- a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 +++ b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 @@ -4,10 +4,10 @@ DEPEND=x11-libs/gtk+:2 DESCRIPTION=Mathematical programming environment EAPI=7 HOMEPAGE=http://euler.sourceforge.net/ -KEYWORDS=amd64 ppc -sparc x86 ~amd64-linux ~x86-linux +KEYWORDS=amd64 ~ppc -sparc x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 RDEPEND=x11-libs/gtk+:2 x11-misc/xdg-utils SLOT=0 SRC_URI=mirror://sourceforge/euler/euler-1.61.0.tgz _eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa -_md5_=1eb5331e82fc7daddbf5c4c218ca4001 +_md5_=a4cc367c3587f9a1cab8e6a45fcb9cbd 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 0e73eefdb16c..b72b6e8b86c4 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1 +++ b/metadata/md5-cache/sci-mathematics/flint-2.7.1-r1 @@ -5,11 +5,11 @@ DESCRIPTION=Fast Library for Number Theory EAPI=7 HOMEPAGE=http://www.flintlib.org/ IUSE=doc ntl test -KEYWORDS=amd64 ~arm ~arm64 ppc x86 +KEYWORDS=amd64 ~arm ~arm64 ~ppc x86 LICENSE=LGPL-2.1+ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas RESTRICT=!test? ( test ) SLOT=0/15 SRC_URI=http://www.flintlib.org/flint-2.7.1.tar.gz _eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 13f6d423c5c5bc519a9b552654cc745f python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=f27954be2852639b898658d991a9b442 +_md5_=a7e148f761fa9ffc51ee0a6158647611 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.3 b/metadata/md5-cache/sci-mathematics/flint-2.8.4 index fcb400cb8c09..9c4394930b84 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.8.3 +++ b/metadata/md5-cache/sci-mathematics/flint-2.8.4 @@ -5,11 +5,11 @@ DESCRIPTION=Fast Library for Number Theory EAPI=8 HOMEPAGE=http://www.flintlib.org/ IUSE=doc ntl test -KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~x86 +KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~riscv ~x86 LICENSE=LGPL-2.1+ 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.3.tar.gz -> flint-2.8.3.tar.gz +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 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-any-r1 13f6d423c5c5bc519a9b552654cc745f python-utils-r1 a8b7938ade305f087865de7e52d079b5 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=07cdecb9216840694c0226b40ee6ba6b +_md5_=711fa8e9768ae23645645cf197f32f97 diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.7.7 b/metadata/md5-cache/sci-mathematics/gimps-30.7.9 index 30d9f9241cfa..a0a458e311e4 100644 --- a/metadata/md5-cache/sci-mathematics/gimps-30.7.7 +++ b/metadata/md5-cache/sci-mathematics/gimps-30.7.9 @@ -8,6 +8,6 @@ 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/p95v307b7.linux64.tar.gz -> gimps-30.7.7.linux64.tar.gz ) +SRC_URI=amd64? ( https://www.mersenne.org/ftp_root/gimps/p95v307b9.linux64.tar.gz -> gimps-30.7.9.linux64.tar.gz ) _eclasses_=multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 readme.gentoo-r1 c9646d622541c023f5159b86a14e930c systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 5cd6e8cf3288d5b19ff8b5c78c7e3e31 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa _md5_=fa502a8d23a582fbd32a485a2943a1f0 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 index 543b31e53ac8..0c0fc577b46b 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 @@ -5,10 +5,10 @@ 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 +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.7.11.tar.bz2 _eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 13f6d423c5c5bc519a9b552654cc745f python-utils-r1 a8b7938ade305f087865de7e52d079b5 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa -_md5_=e7d869c9246266ffa63e8373104c0ac3 +_md5_=c7a69fd03dd2c3d970bf5b25386b75d9 diff --git a/metadata/md5-cache/sci-mathematics/gmp-ecm-7.0.4-r4 b/metadata/md5-cache/sci-mathematics/gmp-ecm-7.0.4-r4 index f866470b08cc..509aa2895a57 100644 --- a/metadata/md5-cache/sci-mathematics/gmp-ecm-7.0.4-r4 +++ b/metadata/md5-cache/sci-mathematics/gmp-ecm-7.0.4-r4 @@ -5,10 +5,10 @@ DESCRIPTION=Elliptic Curve Method for Integer Factorization EAPI=7 HOMEPAGE=https://gitlab.inria.fr/zimmerma/ecm IUSE=+custom-tune openmp static-libs cpu_flags_x86_sse2 -KEYWORDS=amd64 ~arm ~arm64 x86 ~ppc-macos ~x64-macos +KEYWORDS=amd64 ~arm ~arm64 ~riscv x86 ~ppc-macos ~x64-macos LICENSE=GPL-3 LGPL-3 RDEPEND=dev-libs/gmp:= SLOT=0 SRC_URI=https://gitlab.inria.fr/zimmerma/ecm/uploads/9cd422ec80268f8a885e499e17f98056/ecm-7.0.4.tar.gz _eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=e3c6026de1681532a379e729df126256 +_md5_=053be1578ac536eecd1f7b4787434628 diff --git a/metadata/md5-cache/sci-mathematics/gretl-1.9.90 b/metadata/md5-cache/sci-mathematics/gretl-1.9.90 deleted file mode 100644 index 86cb392a92e1..000000000000 --- a/metadata/md5-cache/sci-mathematics/gretl-1.9.90 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install postinst postrm setup -DEPEND=dev-libs/glib:2= dev-libs/gmp:0= dev-libs/libxml2:2= dev-libs/mpfr:0= sci-libs/fftw:3.0= sci-visualization/gnuplot virtual/lapack virtual/latex-base accessibility? ( app-accessibility/flite:= ) curl? ( net-misc/curl:0= ) emacs? ( >=app-editors/emacs-23.1:* ) gtk? ( media-libs/gd:2=[png] sci-visualization/gnuplot[gd] x11-libs/gtk+:3= x11-libs/gtksourceview:3.0= ) mpi? ( virtual/mpi ) odbc? ( dev-db/unixODBC:0= ) R? ( dev-lang/R:0= ) readline? ( sys-libs/readline:0= ) virtual/pkgconfig -DESCRIPTION=Regression, econometrics and time-series library -EAPI=5 -HOMEPAGE=http://gretl.sourceforge.net/ -IUSE=accessibility cpu_flags_x86_avx +curl emacs gnome gtk mpi nls odbc openmp python readline cpu_flags_x86_sse2 R static-libs -KEYWORDS=~amd64 ~x86 ~amd64-linux ~x86-linux -LICENSE=GPL-3 -RDEPEND=dev-libs/glib:2= dev-libs/gmp:0= dev-libs/libxml2:2= dev-libs/mpfr:0= sci-libs/fftw:3.0= sci-visualization/gnuplot virtual/lapack virtual/latex-base accessibility? ( app-accessibility/flite:= ) curl? ( net-misc/curl:0= ) emacs? ( >=app-editors/emacs-23.1:* ) gtk? ( media-libs/gd:2=[png] sci-visualization/gnuplot[gd] x11-libs/gtk+:3= x11-libs/gtksourceview:3.0= ) mpi? ( virtual/mpi ) odbc? ( dev-db/unixODBC:0= ) R? ( dev-lang/R:0= ) readline? ( sys-libs/readline:0= ) python? ( dev-python/numpy ) -REQUIRED_USE=emacs? ( gtk ) !curl? ( !gtk ) -SLOT=0/10 -SRC_URI=mirror://sourceforge/gretl/gretl-1.9.90.tar.xz -_eclasses_=eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 elisp-common cf4fd1b0835b9f3e638724840468064a multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa -_md5_=3110f362884429f03e0af5c56ed983e6 diff --git a/metadata/md5-cache/sci-mathematics/gretl-2021d b/metadata/md5-cache/sci-mathematics/gretl-2021d new file mode 100644 index 000000000000..946c04659b83 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/gretl-2021d @@ -0,0 +1,15 @@ +BDEPEND=virtual/pkgconfig extras? ( dev-texlive/texlive-latexextra ) gtk? ( x11-misc/xdg-utils ) +DEFINED_PHASES=compile configure install postinst postrm pretend +DEPEND=dev-libs/glib:2= >=dev-libs/gmp-4.0.1:0= dev-libs/json-glib:0= dev-libs/libxml2:2= >=dev-libs/mpfr-2.2.0:0= net-misc/curl:0= sci-libs/fftw:3.0= sci-visualization/gnuplot virtual/lapack virtual/latex-base emacs? ( >=app-editors/emacs-23.1:* ) gnome? ( >=gnome-extra/libgsf-1.14.47[gtk?] ) gtk? ( media-libs/gd:2=[png] >=sci-visualization/gnuplot-5.0[cairo] x11-libs/gtk+:3= x11-libs/gtksourceview:3.0= ) mpi? ( virtual/mpi ) odbc? ( dev-db/unixODBC:0= ) R? ( dev-lang/R:0= ) readline? ( sys-libs/readline:0= ) +DESCRIPTION=Regression, econometrics and time-series library +EAPI=8 +HOMEPAGE=http://gretl.sourceforge.net/ +IUSE=cpu_flags_x86_avx emacs extras gnome gtk mpi nls odbc openmp python readline cpu_flags_x86_sse2 R +KEYWORDS=~amd64 ~x86 ~amd64-linux ~x86-linux +LICENSE=GPL-3 +RDEPEND=dev-libs/glib:2= >=dev-libs/gmp-4.0.1:0= dev-libs/json-glib:0= dev-libs/libxml2:2= >=dev-libs/mpfr-2.2.0:0= net-misc/curl:0= sci-libs/fftw:3.0= sci-visualization/gnuplot virtual/lapack virtual/latex-base emacs? ( >=app-editors/emacs-23.1:* ) gnome? ( >=gnome-extra/libgsf-1.14.47[gtk?] ) gtk? ( media-libs/gd:2=[png] >=sci-visualization/gnuplot-5.0[cairo] x11-libs/gtk+:3= x11-libs/gtksourceview:3.0= ) mpi? ( virtual/mpi ) odbc? ( dev-db/unixODBC:0= ) R? ( dev-lang/R:0= ) readline? ( sys-libs/readline:0= ) python? ( dev-python/numpy ) +REQUIRED_USE=emacs? ( gtk ) +SLOT=0/40 +SRC_URI=mirror://sourceforge/project/gretl/gretl/2021d/gretl-2021d.tar.xz +_eclasses_=elisp-common cf4fd1b0835b9f3e638724840468064a multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=691d4864e48fe91f8c339691d3f76868 diff --git a/metadata/md5-cache/sci-mathematics/lcalc-2.0.4 b/metadata/md5-cache/sci-mathematics/lcalc-2.0.4 new file mode 100644 index 000000000000..6d6c4ad22a5f --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/lcalc-2.0.4 @@ -0,0 +1,13 @@ +BDEPEND=dev-util/gengetopt +DEFINED_PHASES=configure +DEPEND=double-double? ( sci-libs/qd:= ) quad-double? ( sci-libs/qd:= ) pari? ( sci-mathematics/pari:= ) +DESCRIPTION=Command-line utility and library for L-function computations +EAPI=8 +HOMEPAGE=https://gitlab.com/sagemath/lcalc +IUSE=+double double-double quad-double pari +KEYWORDS=~amd64 +LICENSE=GPL-2+ +REQUIRED_USE=^^ ( double double-double quad-double ) +SLOT=0/1 +SRC_URI=https://gitlab.com/sagemath/lcalc/uploads/4d84022aa5285414eb547121b783601a/lcalc-2.0.4.tar.xz +_md5_=0644466ed252c8b9974c3c21fd74c664 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.35.1-r2 b/metadata/md5-cache/sci-mathematics/lean-3.35.1-r2 new file mode 100644 index 000000000000..96b0bc3a0fcc --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/lean-3.35.1-r2 @@ -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 +json +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 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 c9646d622541c023f5159b86a14e930c toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=148bb9d8017b209f8d75da1e151d4156 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.9999 b/metadata/md5-cache/sci-mathematics/lean-3.9999 new file mode 100644 index 000000000000..d16e75b46b42 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/lean-3.9999 @@ -0,0 +1,13 @@ +BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 >=dev-vcs/git-1.8.2.1[curl] +DEFINED_PHASES=compile configure install postinst prepare test unpack +DEPEND=dev-libs/gmp:= +DESCRIPTION=The Lean Theorem Prover +EAPI=8 +HOMEPAGE=https://leanprover-community.github.io/ +IUSE=debug +json +threads +LICENSE=Apache-2.0 +PROPERTIES=live +RDEPEND=dev-libs/gmp:= +SLOT=0/3 +_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a readme.gentoo-r1 c9646d622541c023f5159b86a14e930c toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=148bb9d8017b209f8d75da1e151d4156 diff --git a/metadata/md5-cache/sci-mathematics/lpsolve-5.5.2.0 b/metadata/md5-cache/sci-mathematics/lpsolve-5.5.2.0 index cc16d4d1cc0e..ed720339bf68 100644 --- a/metadata/md5-cache/sci-mathematics/lpsolve-5.5.2.0 +++ b/metadata/md5-cache/sci-mathematics/lpsolve-5.5.2.0 @@ -4,9 +4,9 @@ DESCRIPTION=Mixed Integer Linear Programming (MILP) solver EAPI=6 HOMEPAGE=https://sourceforge.net/projects/lpsolve/ IUSE=static-libs -KEYWORDS=amd64 ~arm arm64 ppc ~ppc64 x86 ~amd64-linux ~x86-linux +KEYWORDS=amd64 ~arm arm64 ~ppc ~ppc64 x86 ~amd64-linux ~x86-linux LICENSE=LGPL-2.1 RDEPEND=sci-libs/colamd SLOT=0 SRC_URI=http://dev.gentooexperimental.org/~scarabeus/lpsolve-5.5.2.0.tar.xz -_md5_=5f4e7797c3823959bf6cf27b3aefd9a9 +_md5_=1db2d5840d9d375e96d4f20a0c5628e6 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 new file mode 100644 index 000000000000..fc13528cf5ff --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.1.0 @@ -0,0 +1,16 @@ +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-4.5.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?] ) python_targets_python3_8? ( dev-lang/python:3.8 ) python_targets_python3_9? ( dev-lang/python:3.9 ) >=dev-lang/python-exec-2:=[python_targets_python3_8(-)?,python_targets_python3_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 ) python_targets_python3_9? ( dev-lang/python:3.9 ) >=dev-lang/python-exec-2:=[python_targets_python3_8(-)?,python_targets_python3_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 8041037f74e1f9d149c038c2fe2c97cf multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-r1 e574a3642f886323f18f867ecc4d91c4 python-utils-r1 a8b7938ade305f087865de7e52d079b5 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa +_md5_=1c29f16a6f6bddb1b8b19f5cfb92c02b diff --git a/metadata/md5-cache/sci-mathematics/mathomatic-16.0.5 b/metadata/md5-cache/sci-mathematics/mathomatic-16.0.5 index 57f1121ca66c..181e5502887f 100644 --- a/metadata/md5-cache/sci-mathematics/mathomatic-16.0.5 +++ b/metadata/md5-cache/sci-mathematics/mathomatic-16.0.5 @@ -4,10 +4,10 @@ DESCRIPTION=Automatic algebraic manipulator EAPI=6 HOMEPAGE=https://github.com/mfillpot/mathomatic IUSE=doc gnuplot -KEYWORDS=amd64 ppc x86 ~amd64-linux ~x86-linux +KEYWORDS=amd64 ~ppc x86 ~amd64-linux ~x86-linux LICENSE=LGPL-2.1 RDEPEND=sys-libs/readline:= sys-libs/ncurses:= gnuplot? ( sci-visualization/gnuplot ) SLOT=0 SRC_URI=https://github.com/mfillpot/mathomatic/archive/mathomatic-16.0.5.tar.gz _eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=596bdf840093d871073969077d6250ce +_md5_=78c4b0bda659e54820d5fe41a7a26e68 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.42.1-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.42.1-r1 index ca90f598a1b3..19ac0b4423e3 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.42.1-r1 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.42.1-r1 @@ -4,10 +4,10 @@ DESCRIPTION=Free computer algebra environment based on Macsyma EAPI=6 HOMEPAGE=http://maxima.sourceforge.net/ IUSE=emacs tk nls unicode X sbcl cmucl gcl ecls clozurecl clisp l10n_de l10n_es l10n_pt l10n_pt-BR -KEYWORDS=amd64 ppc x86 ~amd64-linux ~x86-linux +KEYWORDS=amd64 ~ppc x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 GPL-2+ RDEPEND=!app-emacs/imaxima virtual/libcrypt:= 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 c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=79784652a63d65d7f0e2a7ad2796a304 +_md5_=7101a0ceb8e755f412c111d62efcf9ee diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198 new file mode 100644 index 000000000000..0180aa564ac2 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -0,0 +1,11 @@ +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=prepare +DESCRIPTION=Proof verifier based on a minimalistic formalism +EAPI=8 +HOMEPAGE=http://us.metamath.org/ +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-2 +SLOT=0 +SRC_URI=https://github.com/metamath/metamath-exe/archive/refs/tags/v0.198.tar.gz -> metamath-0.198.tar.gz +_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa +_md5_=339b045621fceffa1ef1cfc145741072 diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.7.3 b/metadata/md5-cache/sci-mathematics/nauty-2.7.3 new file mode 100644 index 000000000000..bdcfed9da805 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/nauty-2.7.3 @@ -0,0 +1,14 @@ +BDEPEND=sys-apps/help2man 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=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer +DESCRIPTION=Computing automorphism groups of graphs and digraphs +EAPI=8 +HOMEPAGE=https://pallini.di.uniroma1.it/ +IUSE=examples +KEYWORDS=~amd64 ~arm ~x86 +LICENSE=Apache-2.0 +RDEPEND=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer +SLOT=0 +SRC_URI=https://pallini.di.uniroma1.it/nauty27r3.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.7r3+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch +_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa +_md5_=9abc19caa64eaa9e6e5b062b4579c43d diff --git a/metadata/md5-cache/sci-mathematics/octave-5.2.0 b/metadata/md5-cache/sci-mathematics/octave-5.2.0 index 6624e32fe3d4..7e3e7c505fd4 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 c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=d1aaea16a861d05eeb512171b226f8a2 diff --git a/metadata/md5-cache/sci-mathematics/octave-6.2.0 b/metadata/md5-cache/sci-mathematics/octave-6.2.0 index ccb41b44b049..da5200e934c3 100644 --- a/metadata/md5-cache/sci-mathematics/octave-6.2.0 +++ b/metadata/md5-cache/sci-mathematics/octave-6.2.0 @@ -9,5 +9,5 @@ LICENSE=GPL-3 RDEPEND=app-arch/bzip2 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.2.0 SRC_URI=mirror://gnu/octave/octave-6.2.0.tar.gz -_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=c50536018afd3f3d56f14bbb2b2bd39a diff --git a/metadata/md5-cache/sci-mathematics/octave-6.3.0 b/metadata/md5-cache/sci-mathematics/octave-6.3.0 index f28b8e4068cf..07cc6cfea89b 100644 --- a/metadata/md5-cache/sci-mathematics/octave-6.3.0 +++ b/metadata/md5-cache/sci-mathematics/octave-6.3.0 @@ -9,5 +9,5 @@ LICENSE=GPL-3 RDEPEND=app-arch/bzip2 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.3.0 SRC_URI=mirror://gnu/octave/octave-6.3.0.tar.gz -_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf desktop c0d27bf73aa08ca05b663dbd31fbef28 eapi7-ver 1a0a60ad07c8b32d2faba2d085dc0f24 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a gnome2-utils 355c758ccc0d6df60d43a066640e642c gnuconfig 262062cef0ba4f22b397193da514a350 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 libtool 241a8f577b9781a42a7421e53448a44e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib 4b66d835ec72e021e359bb81eacfe988 pax-utils fce6ad998516159787b92e8043167889 preserve-libs dbc9f8d2d49c66467bc327fddd8317bd strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 versionator d3fb3ba33acc3bbbdc4d7970227c100d wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9b31c9771a740218301e71a6d3efe041 diff --git a/metadata/md5-cache/sci-mathematics/octave-epstk-2.4 b/metadata/md5-cache/sci-mathematics/octave-epstk-2.4 index b4ae6f5c4931..9eaf19656fc1 100644 --- a/metadata/md5-cache/sci-mathematics/octave-epstk-2.4 +++ b/metadata/md5-cache/sci-mathematics/octave-epstk-2.4 @@ -3,9 +3,9 @@ DESCRIPTION=Graphical output functions for Matlab and Octave EAPI=7 HOMEPAGE=http://www.epstk.de/ IUSE=doc -KEYWORDS=~amd64 ~x86 +KEYWORDS=~amd64 ~riscv ~x86 LICENSE=GPL-2 RDEPEND=sci-mathematics/octave app-text/ghostscript-gpl SLOT=0 SRC_URI=mirror://debian/pool/main/o/octave-epstk/octave-epstk_2.4.orig.tar.bz2 mirror://debian/pool/main/o/octave-epstk/octave-epstk_2.4-1.debian.tar.gz -_md5_=cb3b1eec0b5bb48f032ebac872663b8f +_md5_=2a8d6a664d5dd7a9b5fb9b2e28f7cf59 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.16.0 b/metadata/md5-cache/sci-mathematics/petsc-3.16.0 new file mode 100644 index 000000000000..0eb520b5eb7f --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/petsc-3.16.0 @@ -0,0 +1,15 @@ +BDEPEND=virtual/fortran +DEFINED_PHASES=configure install setup +DEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boost? ( dev-libs/boost ) fftw? ( sci-libs/fftw:3.0[mpi?] ) hdf5? ( sci-libs/hdf5[mpi?] ) hypre? ( >=sci-libs/hypre-2.18.0[mpi?] ) metis? ( >=sci-libs/parmetis-4 ) mpi? ( virtual/mpi[cxx?,fortran?] ) mumps? ( sci-libs/mumps[mpi?] sci-libs/scalapack ) scotch? ( sci-libs/scotch[mpi?] ) sparse? ( sci-libs/suitesparse >=sci-libs/cholmod-1.7.0 ) superlu? ( >=sci-libs/superlu-5 ) X? ( x11-libs/libX11 ) || ( dev-lang/python:3.10 dev-lang/python:3.9 dev-lang/python:3.8 ) virtual/pkgconfig dev-util/cmake sys-apps/which virtual/fortran +DESCRIPTION=Portable, Extensible Toolkit for Scientific Computation +EAPI=7 +HOMEPAGE=https://www.mcs.anl.gov/petsc/ +IUSE=afterimage boost complex-scalars cxx debug fftw fortran hdf5 hypre mpi metis mumps scotch sparse superlu threads X +KEYWORDS=~amd64 ~x86 +LICENSE=BSD-2 +RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boost? ( dev-libs/boost ) fftw? ( sci-libs/fftw:3.0[mpi?] ) hdf5? ( sci-libs/hdf5[mpi?] ) hypre? ( >=sci-libs/hypre-2.18.0[mpi?] ) metis? ( >=sci-libs/parmetis-4 ) mpi? ( virtual/mpi[cxx?,fortran?] ) mumps? ( sci-libs/mumps[mpi?] sci-libs/scalapack ) scotch? ( sci-libs/scotch[mpi?] ) sparse? ( sci-libs/suitesparse >=sci-libs/cholmod-1.7.0 ) superlu? ( >=sci-libs/superlu-5 ) X? ( x11-libs/libX11 ) virtual/fortran +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 4134b5c0fb719b9161d10bdaba9e09e5 fortran-2 7e39eb204d37699d5f1eaf9f4d61888a multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 13f6d423c5c5bc519a9b552654cc745f python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 +_md5_=9447ed1bd38339e3d34b1a993c49d7cf diff --git a/metadata/md5-cache/sci-mathematics/rkward-0.7.2 b/metadata/md5-cache/sci-mathematics/rkward-0.7.2 index c54d509003ea..49e1f0f18bdb 100644 --- a/metadata/md5-cache/sci-mathematics/rkward-0.7.2 +++ b/metadata/md5-cache/sci-mathematics/rkward-0.7.2 @@ -10,5 +10,5 @@ LICENSE=GPL-2+ LGPL-2 RDEPEND=dev-lang/R dev-qt/qtgui:5 dev-qt/qtnetwork:5 dev-qt/qtprintsupport:5 dev-qt/qtscript:5 dev-qt/qtwebengine:5[widgets] dev-qt/qtwidgets:5 dev-qt/qtxml:5 kde-frameworks/kcompletion:5 kde-frameworks/kconfig:5 kde-frameworks/kconfigwidgets:5 kde-frameworks/kcoreaddons:5 kde-frameworks/kcrash:5 kde-frameworks/ki18n:5 kde-frameworks/kio:5 kde-frameworks/kjobwidgets:5 kde-frameworks/knotifications:5 kde-frameworks/kparts:5 kde-frameworks/kservice:5 kde-frameworks/ktexteditor:5 kde-frameworks/kwidgetsaddons:5 kde-frameworks/kwindowsystem:5 kde-frameworks/kxmlgui:5 || ( kde-frameworks/breeze-icons:* kde-frameworks/oxygen-icons:* ) >=kde-frameworks/kf-env-4 dev-qt/qtcore:5 SLOT=5 SRC_URI=mirror://kde/stable/rkward/0.7.2/src/rkward-0.7.2.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 ecm 9fe70cc0ef1ddfecce7548500987215d edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 kde.org f95aaca4085d2d633c2b76abfd72208f multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa virtualx fa024aa649b6bd544144bf94893d402c wrapper 4251d4c84c25f59094fd557e0063a974 xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 ecm 3efe514b4cd196a075e50ab6552a203d edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 kde.org 10ca734e4845124395fc126944c8d053 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 optfeature 30ce9dec2b8943338c9b015bd32bac6a strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa virtualx fa024aa649b6bd544144bf94893d402c wrapper 4251d4c84c25f59094fd557e0063a974 xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=2721d7155274635f05fff5ba23ae668f 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 7cee6db01f18..8853768d4438 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 4134b5c0fb719b9161d10bdaba9e09e5 java-ant-2 e83ca06db890ca292b0b6d43e376e20d java-pkg-2 a3d583b3f640032c3eff643a4191bd03 java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam 41ce39f668e11d31ff4734f3b5794f7d pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 java-ant-2 e83ca06db890ca292b0b6d43e376e20d java-pkg-2 2d0eb1353bf1264bd6e61736d3e409a2 java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 pam 41ce39f668e11d31ff4734f3b5794f7d pax-utils fce6ad998516159787b92e8043167889 prefix d04f14b297013ad1410550c0757f14f8 qmake-utils f5eb2f69fffe94292aaaf802fb21c8d1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa vcs-clean b690a7e9b6c497cf59326a7545df4283 wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=690ba148729925a510aee79e2fbdb847 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 80168e786e64..a88e1e73c5fc 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 +++ b/metadata/md5-cache/sci-mathematics/singular-4.2.0_p1 @@ -5,10 +5,10 @@ DESCRIPTION=Computer algebra system for polynomial computations EAPI=7 HOMEPAGE=https://www.singular.uni-kl.de/ https://github.com/Singular/Sources IUSE=emacs examples +readline static-libs -KEYWORDS=amd64 ppc x86 ~x86-linux +KEYWORDS=amd64 ~ppc x86 ~x86-linux 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 c9df06c186913b43eb211100ef5fe2cf elisp-common cf4fd1b0835b9f3e638724840468064a gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa -_md5_=e7eb022fe1abff7402cb2aa50e40f56c +_md5_=91d26230905826486e83bb27e60570dc diff --git a/metadata/md5-cache/sci-mathematics/singular-4.2.1 b/metadata/md5-cache/sci-mathematics/singular-4.2.1 index d714216e0ad5..feee1039727e 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.2.1 +++ b/metadata/md5-cache/sci-mathematics/singular-4.2.1 @@ -5,10 +5,10 @@ DESCRIPTION=Computer algebra system for polynomial computations EAPI=7 HOMEPAGE=https://www.singular.uni-kl.de/ https://github.com/Singular/Sources IUSE=emacs examples +readline static-libs -KEYWORDS=~amd64 ~ppc ~x86 ~x86-linux +KEYWORDS=~amd64 ~ppc ~riscv ~x86 ~x86-linux 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-1/singular-4.2.1.tar.gz _eclasses_=autotools c9df06c186913b43eb211100ef5fe2cf edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common cf4fd1b0835b9f3e638724840468064a eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=6bb5a626729f3552e9f7d5614d1faa21 +_md5_=c167bd991ffcdbbce70ab54104853305 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 new file mode 100644 index 000000000000..4c711e34bc1c --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 @@ -0,0 +1,13 @@ +DEFINED_PHASES=configure install setup +DEPEND==sci-mathematics/petsc-3.16*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) || ( dev-lang/python:3.10 dev-lang/python:3.9 dev-lang/python:3.8 ) virtual/pkgconfig dev-util/cmake +DESCRIPTION=Scalable Library for Eigenvalue Problem Computations +EAPI=7 +HOMEPAGE=https://slepc.upv.es/ +IUSE=complex-scalars doc mpi +KEYWORDS=~amd64 ~x86 +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 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b python-any-r1 13f6d423c5c5bc519a9b552654cc745f python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 +_md5_=d842584f9dc73050aa04c8a1d5d551c3 diff --git a/metadata/md5-cache/sci-mathematics/spin-6.4.5 b/metadata/md5-cache/sci-mathematics/spin-6.4.5 deleted file mode 100644 index 865b9266a4d4..000000000000 --- a/metadata/md5-cache/sci-mathematics/spin-6.4.5 +++ /dev/null @@ -1,13 +0,0 @@ -DEFINED_PHASES=compile install prepare -DEPEND=sys-devel/bison -DESCRIPTION=Tool for formal verification of distributed software systems -EAPI=5 -HOMEPAGE=http://spinroot.com/ -IUSE=graphviz tk -KEYWORDS=~amd64 ~x86 -LICENSE=BSD -RDEPEND=sys-devel/gcc sys-process/time tk? ( dev-lang/tk graphviz? ( media-gfx/graphviz ) ) -SLOT=0 -SRC_URI=http://spinroot.com/spin/Src/spin645.tar.gz -_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 epatch 9f813bb3c47cf2e60619a663b87c5f4e estack 055c42df72f76a4f45ec92b35e83cd56 multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa versionator d3fb3ba33acc3bbbdc4d7970227c100d -_md5_=386c32db763d9d1d41d191bade530502 diff --git a/metadata/md5-cache/sci-mathematics/spin-6.5.2 b/metadata/md5-cache/sci-mathematics/spin-6.5.2 new file mode 100644 index 000000000000..55fef194730c --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/spin-6.5.2 @@ -0,0 +1,13 @@ +BDEPEND=virtual/yacc +DEFINED_PHASES=compile install +DESCRIPTION=An efficient logic-model checker for the verification of multi-threaded code +EAPI=8 +HOMEPAGE=https://spinroot.com/ https://github.com/nimble-code/Spin +IUSE=doc examples graphviz tk +KEYWORDS=~amd64 ~riscv ~x86 +LICENSE=BSD +RDEPEND=sys-devel/gcc tk? ( dev-lang/tk graphviz? ( media-gfx/graphviz ) ) +SLOT=0 +SRC_URI=https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz -> spin-6.5.2.tar.gz +_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa +_md5_=ba36e54fb131546a5e32434c76a8f7cd diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 deleted file mode 100644 index a14ff14313bb..000000000000 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install postinst postrm preinst prepare test -DEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 dev-util/desktop-file-utils x11-misc/shared-mime-info -DESCRIPTION=Graphical frontend to Maxima, using the wxWidgets toolkit -EAPI=7 -HOMEPAGE=https://wxmaxima-developers.github.io/wxmaxima/ -IUSE=test -KEYWORDS=~amd64 ~ppc ~x86 -LICENSE=GPL-2 -RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima -RESTRICT=!test? ( test ) -SLOT=0 -SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.01.0.tar.gz -> wxmaxima-21.01.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=9e42ea693fac3a48a4e149c8b8d0363f diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0 deleted file mode 100644 index a39a21a55c5b..000000000000 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.04.0 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install postinst postrm preinst prepare test -DEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 dev-util/desktop-file-utils x11-misc/shared-mime-info -DESCRIPTION=Graphical frontend to Maxima, using the wxWidgets toolkit -EAPI=7 -HOMEPAGE=https://wxmaxima-developers.github.io/wxmaxima/ -IUSE=test -KEYWORDS=~amd64 ~ppc ~x86 -LICENSE=GPL-2 -RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima -RESTRICT=!test? ( test ) -SLOT=0 -SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.04.0.tar.gz -> wxmaxima-21.04.0.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 -_md5_=9e42ea693fac3a48a4e149c8b8d0363f diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.0 index 627b6412c121..3f92fcb3662e 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-21.05.1 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.11.0 @@ -10,6 +10,6 @@ LICENSE=GPL-2 RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima RESTRICT=!test? ( test ) SLOT=0 -SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-21.05.1.tar.gz -> wxmaxima-21.05.1.tar.gz +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 4134b5c0fb719b9161d10bdaba9e09e5 multilib 4b66d835ec72e021e359bb81eacfe988 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 plocale 89c6aac5da68423465e6fd79fb4ad5fb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 wxwidgets 7e8a20d3bacea0e3ecf6e96fb72180aa xdg 6024fbc93167fad782e2032933654857 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=9e42ea693fac3a48a4e149c8b8d0363f diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.11b b/metadata/md5-cache/sci-mathematics/z3-4.8.11b index 36be5ec69cd4..dbe953924c3a 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.8.11b +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.11b @@ -11,5 +11,5 @@ RDEPEND=python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python- REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) SLOT=0/4.8 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.8.11b.tar.gz -_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 cmake-multilib de2335e0bd21535a925d008ee3b98e2a eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 4b66d835ec72e021e359bb81eacfe988 multilib-build 19ec165e9adcaa4c132b9e3fe3e7f556 multilib-minimal be5919734a8448dddd49c2b26db45091 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 d46c125afba8be02eb1cd7104bac6e9c python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_eclasses_=cmake 11fee991ab428a3370e5c20fa8231fb6 cmake-multilib de2335e0bd21535a925d008ee3b98e2a eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 4b66d835ec72e021e359bb81eacfe988 multilib-build 19ec165e9adcaa4c132b9e3fe3e7f556 multilib-minimal be5919734a8448dddd49c2b26db45091 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 d46c125afba8be02eb1cd7104bac6e9c python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 _md5_=d87c334e1356acf618da448872a0929c diff --git a/metadata/md5-cache/sci-mathematics/z3-4.8.13 b/metadata/md5-cache/sci-mathematics/z3-4.8.13 new file mode 100644 index 000000000000..b05a780c4fd7 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/z3-4.8.13 @@ -0,0 +1,15 @@ +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 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) 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 elibc_FreeBSD 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 >=dev-lang/python-exec-2:=[python_targets_python3_8] ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9] ) python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10] ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) 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 4134b5c0fb719b9161d10bdaba9e09e5 java-pkg-opt-2 bf35c60a54945228d5d4cb3a5cc17f5a java-utils-2 32fe52795e36e76dcbcf92d89bb1c4d0 multibuild 05a584848db4901c97fcd94ae7cc3a97 multilib 4b66d835ec72e021e359bb81eacfe988 multilib-build 19ec165e9adcaa4c132b9e3fe3e7f556 multilib-minimal be5919734a8448dddd49c2b26db45091 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 python-single-r1 d46c125afba8be02eb1cd7104bac6e9c python-utils-r1 a8b7938ade305f087865de7e52d079b5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=94a97cd1706bdd8d72b8e2bd61523d45 |