diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
12 files changed, 50 insertions, 77 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 8aa9de762eb2..f3378e1f49cb 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/coq-mathcomp-1.14.0-r1 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r2 index 79d703075297..e01df2fb42e1 100644 --- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r2 @@ -1,11 +1,11 @@ DEFINED_PHASES=compile install -DEPEND=>=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:= +DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:= DESCRIPTION=Mathematical Components for the Coq proof assistant EAPI=8 HOMEPAGE=https://github.com/math-comp/math-comp/ KEYWORDS=~amd64 LICENSE=CeCILL-B -RDEPEND=>=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:= +RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:= SLOT=0/1.14.0 SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.14.0.tar.gz -> coq-mathcomp-1.14.0.tar.gz -_md5_=5fcfe0be0d5c74b4dec65969912e9e90 +_md5_=5cf7528a84966a450ab4bf6e0d496163 diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1 index e184cee4dfe6..9eb42c63ad72 100644 --- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1 @@ -1,11 +1,11 @@ DEFINED_PHASES=- -DEPEND=>=sci-mathematics/coq-8.16.0:= +DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.16.0:= DESCRIPTION=Mathematical Components for the Coq proof assistant EAPI=8 HOMEPAGE=https://github.com/math-comp/math-comp/ KEYWORDS=~amd64 LICENSE=CeCILL-B -RDEPEND=>=sci-mathematics/coq-8.16.0:= +RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.16.0:= SLOT=0/1.15.0 SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.15.0.tar.gz -> coq-mathcomp-1.15.0.tar.gz -_md5_=41eaad20bc0dde0e30556d7936f638b2 +_md5_=80ed124cabaf4005897d19831c3cf0bf diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1 index c4b50a137084..06d7db563bf5 100644 --- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0 +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1 @@ -1,11 +1,11 @@ DEFINED_PHASES=- -DEPEND=>=sci-mathematics/coq-8.16.0:= +DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.16.0:= DESCRIPTION=Mathematical Components for the Coq proof assistant EAPI=8 HOMEPAGE=https://github.com/math-comp/math-comp/ KEYWORDS=~amd64 LICENSE=CeCILL-B -RDEPEND=>=sci-mathematics/coq-8.16.0:= +RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.16.0:= SLOT=0/1.16.0 SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.16.0.tar.gz -> coq-mathcomp-1.16.0.tar.gz -_md5_=3aef6ae35fc43029310f519e831daa85 +_md5_=80ed124cabaf4005897d19831c3cf0bf diff --git a/metadata/md5-cache/sci-mathematics/flocq-4.1.0 b/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1 index 5d97d9a6b958..b85769468bb4 100644 --- a/metadata/md5-cache/sci-mathematics/flocq-4.1.0 +++ b/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1 @@ -1,13 +1,13 @@ -BDEPEND=>=sci-mathematics/coq-8.12 DEFINED_PHASES=compile install +DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.12:= DESCRIPTION=Formalization of floating-point arithmetic for the Coq proof assistant EAPI=8 HOMEPAGE=http://flocq.gforge.inria.fr/ https://gitlab.inria.fr/flocq/flocq/ INHERIT=multiprocessing KEYWORDS=~amd64 ~x86 LICENSE=LGPL-3 -RDEPEND=>=sci-mathematics/coq-8.12 +RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.12:= SLOT=0 SRC_URI=https://flocq.gitlabpages.inria.fr/releases/flocq-4.1.0.tar.gz _eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=ef00910b4091a6d909b98e04d21742c5 +_md5_=0d09b9357346287c313e702cf0eb250e diff --git a/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 b/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2-r1 index f8a61fc50b3a..6cd854381b5e 100644 --- a/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 +++ b/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2-r1 @@ -1,14 +1,15 @@ BDEPEND=dev-ml/findlib DEFINED_PHASES=compile install test -DEPEND=>=sci-mathematics/coq-8.12 sci-mathematics/flocq sci-mathematics/gappa +DEPEND=dev-lang/ocaml:=[ocamlopt?] >=sci-mathematics/coq-8.12:= sci-mathematics/flocq:= sci-mathematics/gappa DESCRIPTION=Allows the certificates Gappa generates to be imported by the Coq EAPI=8 HOMEPAGE=https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/coq/ INHERIT=multiprocessing +IUSE=ocamlopt KEYWORDS=~amd64 ~x86 LICENSE=LGPL-3+ -RDEPEND=>=sci-mathematics/coq-8.12 sci-mathematics/flocq sci-mathematics/gappa +RDEPEND=dev-lang/ocaml:=[ocamlopt?] >=sci-mathematics/coq-8.12:= sci-mathematics/flocq:= sci-mathematics/gappa SLOT=0 SRC_URI=https://gappa.gitlabpages.inria.fr/releases/gappalib-coq-1.5.2.tar.gz _eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=05b8742708097bdbfea36a4dda59af4b +_md5_=eede2e3173501268addfc41b74909f4d diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 deleted file mode 100644 index f9fd6461d861..000000000000 --- a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=|| ( >=dev-lang/python-3.9.16-r1:3.9 ) virtual/pkgconfig doc? ( app-doc/doxygen dev-texlive/texlive-fontsrecommended media-gfx/transfig virtual/texi2dvi ) -DEFINED_PHASES=compile configure install setup -DEPEND=>=sci-libs/cln-1.2.2 -DESCRIPTION=C++ library and tools for symbolic calculations -EAPI=7 -HOMEPAGE=https://www.ginac.de/ -INHERIT=python-any-r1 -IUSE=doc examples -KEYWORDS=amd64 ~ppc x86 ~amd64-linux ~x86-linux -LICENSE=GPL-2+ -RDEPEND=>=sci-libs/cln-1.2.2 -SLOT=0 -SRC_URI=http://www.ginac.de/ginac-1.7.11.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 -_md5_=4f28478f1f22b26372daacabefb17f14 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 b/metadata/md5-cache/sci-mathematics/ginac-1.8.0 deleted file mode 100644 index 69e9d0e9295c..000000000000 --- a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=|| ( >=dev-lang/python-3.9.16-r1:3.9 ) virtual/pkgconfig doc? ( app-doc/doxygen dev-texlive/texlive-fontsrecommended media-gfx/transfig virtual/texi2dvi ) -DEFINED_PHASES=compile configure install setup -DEPEND=>=sci-libs/cln-1.2.2 -DESCRIPTION=C++ library and tools for symbolic calculations -EAPI=7 -HOMEPAGE=https://www.ginac.de/ -INHERIT=python-any-r1 -IUSE=doc examples -KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux -LICENSE=GPL-2+ -RDEPEND=>=sci-libs/cln-1.2.2 -SLOT=0 -SRC_URI=http://www.ginac.de/ginac-1.8.0.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 -_md5_=1f904b83dedfac447c56d6e198ae3122 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 new file mode 100644 index 000000000000..c251a41145a5 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 @@ -0,0 +1,17 @@ +BDEPEND=clisp? ( dev-lisp/clisp:= ) clozurecl? ( dev-lisp/clozurecl app-misc/rlwrap ) clozurecl64? ( dev-lisp/clozurecl app-misc/rlwrap ) cmucl? ( dev-lisp/cmucl app-misc/rlwrap ) ecls? ( dev-lisp/ecls:= app-misc/rlwrap ) gcl? ( <dev-lisp/gcl-2.6.14[ansi,readline] ) sbcl? ( dev-lisp/sbcl:= app-misc/rlwrap ) test? ( sci-visualization/gnuplot ) sys-apps/texinfo sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71-r5 >=sys-devel/libtool-2.4.7 +DEFINED_PHASES=compile configure install postinst postrm prepare setup +DEPEND=clisp? ( dev-lisp/clisp:= ) clozurecl? ( dev-lisp/clozurecl app-misc/rlwrap ) clozurecl64? ( dev-lisp/clozurecl app-misc/rlwrap ) cmucl? ( dev-lisp/cmucl app-misc/rlwrap ) ecls? ( dev-lisp/ecls:= app-misc/rlwrap ) gcl? ( <dev-lisp/gcl-2.6.14[ansi,readline] ) sbcl? ( dev-lisp/sbcl:= app-misc/rlwrap ) virtual/libcrypt:= emacs? ( >=app-editors/emacs-26:* ) gui? ( dev-lang/tk:0 ) +DESCRIPTION=Free computer algebra environment based on Macsyma +EAPI=8 +HOMEPAGE=http://maxima.sourceforge.net/ +INHERIT=autotools elisp-common flag-o-matic python-single-r1 xdg-utils +IUSE=clisp clozurecl clozurecl64 cmucl ecls emacs gcl gui nls +sbcl vtk X test l10n_de l10n_es l10n_pt l10n_pt-BR python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 +KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux +LICENSE=GPL-2 GPL-2+ +RDEPEND=clisp? ( dev-lisp/clisp:= ) clozurecl? ( dev-lisp/clozurecl app-misc/rlwrap ) clozurecl64? ( dev-lisp/clozurecl app-misc/rlwrap ) cmucl? ( dev-lisp/cmucl app-misc/rlwrap ) ecls? ( dev-lisp/ecls:= app-misc/rlwrap ) gcl? ( <dev-lisp/gcl-2.6.14[ansi,readline] ) sbcl? ( dev-lisp/sbcl:= app-misc/rlwrap ) virtual/libcrypt:= emacs? ( >=app-editors/emacs-26:* ) gui? ( dev-lang/tk:0 ) X? ( x11-misc/xdg-utils sci-visualization/gnuplot[gd] vtk? ( python_single_target_python3_9? ( >=dev-lang/python-3.9.16-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9-r1:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.1-r1:3.11 ) sci-libs/vtk[python,rendering,python_single_target_python3_9(-)?,python_single_target_python3_10(-)?,python_single_target_python3_11(-)?] ) ) emacs? ( virtual/latex-base app-emacs/auctex app-text/ghostscript-gpl dev-texlive/texlive-latexrecommended ) +REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 ) ) || ( clisp clozurecl clozurecl64 cmucl ecls gcl sbcl ) gui? ( X ) +RESTRICT=test +SLOT=0 +SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz +_eclasses_=autotools 6dcd6b6a486e79928e1243ff9ba41fcc elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b flag-o-matic 69394e25812406faa1f90edaf4969395 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 429bfd4e8d8e39db5385ba5744f30788 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 xdg-utils ac0e315a3688929e34ac75b139e7349a +_md5_=01f2246376b0276971d939eaf4fb53de diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 deleted file mode 100644 index fea396c154a6..000000000000 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 +++ /dev/null @@ -1,16 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=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/ -INHERIT=cmake plocale wxwidgets xdg -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-22.05.0.tar.gz -> wxmaxima-22.05.0.tar.gz -_eclasses_=cmake 449b4785acace35308fe747fc939bde1 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a -_md5_=bdd046b629293ccff3c2ad50d194320f diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 deleted file mode 100644 index 02965496e867..000000000000 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 +++ /dev/null @@ -1,16 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=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[webkit] 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/ -INHERIT=cmake plocale wxwidgets xdg -IUSE=test -KEYWORDS=~amd64 ~ppc ~x86 -LICENSE=GPL-2 -RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3[webkit] 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-22.09.0.tar.gz -> wxmaxima-22.09.0.tar.gz -_eclasses_=cmake 449b4785acace35308fe747fc939bde1 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a -_md5_=a90ac993939d8eea7b2aa5be917442ad diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-23.02.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-23.02.0 new file mode 100644 index 000000000000..c48772a8786a --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-23.02.0 @@ -0,0 +1,17 @@ +BDEPEND=>=dev-util/ninja-1.8.2 >=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[webkit] +DESCRIPTION=Graphical frontend to Maxima, using the wxWidgets toolkit +EAPI=8 +HOMEPAGE=https://wxmaxima-developers.github.io/wxmaxima/ +IDEPEND=dev-util/desktop-file-utils x11-misc/shared-mime-info +INHERIT=cmake plocale wxwidgets xdg +IUSE=test +KEYWORDS=~amd64 ~ppc ~x86 +LICENSE=GPL-2 +RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3[webkit] 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-23.02.0.tar.gz -> wxmaxima-23.02.0.tar.gz +_eclasses_=cmake 449b4785acace35308fe747fc939bde1 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_md5_=e3b14959be4f2f73feba1cab127ff20b |