gentoo auto-resync : 16:02:2023 - 14:04:41

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
index 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