gentoo (valentine's day) resync : 14.02.2021

12 files changed, 109 insertions, 26 deletions

diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 4e70385b490f..d290fe455c29 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-8.11.2 b/metadata/md5-cache/sci-mathematics/coq-8.11.2
new file mode 100644
index 000000000000..99039506b8af
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.11.2
@@ -0,0 +1,14 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra )
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=7
+HOMEPAGE=http://coq.inria.fr/
+IUSE=gtk debug +ocamlopt doc
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/coq/coq/archive/V8.11.2.tar.gz -> coq-8.11.2.tar.gz
+_eclasses_=desktop	7fd20552ce4cc97e8acb132a499a7dd8	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_md5_=eb2e4c892655538b75a49218d63e8f1b
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0 b/metadata/md5-cache/sci-mathematics/coq-8.12.0
deleted file mode 100644
index c678e5019c21..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.12.0
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install test
-DEPEND=>=dev-lang/ocaml-4.11.0:=[ocamlopt?] dev-ml/camlp5:=[ocamlopt?] dev-ml/num:= gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra )
-DESCRIPTION=Proof assistant written in O'Caml
-EAPI=7
-HOMEPAGE=http://coq.inria.fr/
-IUSE=gtk debug +ocamlopt doc
-KEYWORDS=~amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=>=dev-lang/ocaml-4.11.0:=[ocamlopt?] dev-ml/camlp5:=[ocamlopt?] dev-ml/num:= gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
-RESTRICT=test
-SLOT=0
-SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz
-_eclasses_=desktop	7fd20552ce4cc97e8acb132a499a7dd8	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
-_md5_=f94d533340503ac45a65dbb2cca70f6c
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r1
new file mode 100644
index 000000000000..be0427e8ece7
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r1
@@ -0,0 +1,14 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra )
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=7
+HOMEPAGE=http://coq.inria.fr/
+IUSE=gtk debug +ocamlopt doc
+KEYWORDS=amd64 x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz
+_eclasses_=desktop	7fd20552ce4cc97e8acb132a499a7dd8	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_md5_=1435cbc4a3fe356e7c0d971e65f62b74
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0 b/metadata/md5-cache/sci-mathematics/coq-8.13.0
new file mode 100644
index 000000000000..f8b715b1357d
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0
@@ -0,0 +1,14 @@
+DEFINED_PHASES=compile configure install test
+DEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra ) >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=7
+HOMEPAGE=http://coq.inria.fr/
+IUSE=gtk debug +ocamlopt doc
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
+RESTRICT=test
+SLOT=0
+SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz
+_eclasses_=desktop	7fd20552ce4cc97e8acb132a499a7dd8	findlib	9674d5e3d151793fecab20e2bb73e6c6
+_md5_=fe020940e6d28a9f5b56f25fd781902c
diff --git a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1 b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1
index f192541f8224..13353db35380 100644
--- a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1
+++ b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r1
@@ -11,5 +11,5 @@ REQUIRED_USE=|| ( python_targets_python3_7 python_targets_python3_8 )
 RESTRICT=!test? ( test )
 SLOT=0
 SRC_URI=mirror://pypi/d/dunshire/dunshire-0.1.1.tar.gz
-_eclasses_=distutils-r1	5363e4936a5e855108ec3fd191bd2b3c	multibuild	6b3d5ee849dafe6cdfd7b859c211fb01	multilib	d410501a125f99ffb560b0c523cd3d1e	multiprocessing	cac3169468f893670dac3e7cb940e045	python-r1	f1d4277b3ad100890cbd62e137f0a769	python-utils-r1	69861348186337fa4b269de5826004b3	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_eclasses_=distutils-r1	da11a2440dca0fd6b722d7dda3dc9328	multibuild	6b3d5ee849dafe6cdfd7b859c211fb01	multilib	d410501a125f99ffb560b0c523cd3d1e	multiprocessing	cac3169468f893670dac3e7cb940e045	python-r1	4c65b35c1895b82c0f44e44166a3464f	python-utils-r1	69861348186337fa4b269de5826004b3	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
 _md5_=994c3921d34dd9bbff7e133905c47a21
diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.4.8 b/metadata/md5-cache/sci-mathematics/gimps-30.4.8
new file mode 100644
index 000000000000..529a8e9cb784
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/gimps-30.4.8
@@ -0,0 +1,13 @@
+BDEPEND=virtual/pkgconfig
+DEFINED_PHASES=install postinst postrm
+DESCRIPTION=The Great Internet Mersenne Prime Search
+EAPI=7
+HOMEPAGE=https://www.mersenne.org/
+KEYWORDS=-* ~amd64
+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/p95v304b8.linux64.tar.gz )
+_eclasses_=multilib	d410501a125f99ffb560b0c523cd3d1e	pax-utils	a41d1fd1c111289ffa04490de6ee79d7	readme.gentoo-r1	22ae82e140bdd95d17a34fd5fd733190	systemd	74b223e42834adf09a2d21fe5fe13741	tmpfiles	6170dc7770585fb3f16efdee789a3218	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_md5_=d67724538dd67c1c102eff0f9f4bf331
diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 b/metadata/md5-cache/sci-mathematics/ginac-1.7.11
index 4feeefa7a92c..40b490041cd7 100644
--- a/metadata/md5-cache/sci-mathematics/ginac-1.7.11
+++ b/metadata/md5-cache/sci-mathematics/ginac-1.7.11
@@ -1,13 +1,14 @@
-DEFINED_PHASES=compile configure install test
-DEPEND=>=sci-libs/cln-1.2.2 virtual/pkgconfig doc? ( app-doc/doxygen media-gfx/transfig virtual/texi2dvi dev-texlive/texlive-fontsrecommended )
+BDEPEND=|| ( dev-lang/python:3.9 dev-lang/python:3.8 dev-lang/python:3.7 ) 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/
-IUSE=doc static-libs
-KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux
+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_=edos2unix	33e347e171066657f91f8b0c72ec8773	eutils	2d5b3f4b315094768576b6799e4f926e	flag-o-matic	09a8beb8e6a8e02dc1e1bd83ac353741	l10n	8cdd85e169b835d518bc2fd59f780d8e	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4	wrapper	4251d4c84c25f59094fd557e0063a974
-_md5_=361f4172ce4c5a54bbc57892ef5d2ca8
+_eclasses_=multilib	d410501a125f99ffb560b0c523cd3d1e	python-any-r1	0a79a9b53fce4525f438f8ea9695fb88	python-utils-r1	69861348186337fa4b269de5826004b3	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_md5_=c7a69fd03dd2c3d970bf5b25386b75d9
diff --git a/metadata/md5-cache/sci-mathematics/lrcalc-2.0 b/metadata/md5-cache/sci-mathematics/lrcalc-2.0
new file mode 100644
index 000000000000..c81feb2730d4
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/lrcalc-2.0
@@ -0,0 +1,11 @@
+DEFINED_PHASES=configure install
+DESCRIPTION=Littlewood-Richardson Calculator
+EAPI=7
+HOMEPAGE=https://sites.math.rutgers.edu/~asbuch/lrcalc/
+IUSE=static-libs test
+KEYWORDS=~amd64 ~x86 ~ppc-macos ~x64-macos
+LICENSE=GPL-3+
+RESTRICT=!test? ( test )
+SLOT=0/2
+SRC_URI=https://sites.math.rutgers.edu/~asbuch/lrcalc/lrcalc-2.0.tar.gz
+_md5_=eeb2c6332091444c146f948d7413fa85
diff --git a/metadata/md5-cache/sci-mathematics/nestedsums-1.5.2-r1 b/metadata/md5-cache/sci-mathematics/nestedsums-1.5.2-r1
index 01b4b09b83aa..907c21b72217 100644
--- a/metadata/md5-cache/sci-mathematics/nestedsums-1.5.2-r1
+++ b/metadata/md5-cache/sci-mathematics/nestedsums-1.5.2-r1
@@ -1,13 +1,14 @@
-DEFINED_PHASES=compile configure install test
-DEPEND=>=sci-mathematics/ginac-1.7[static-libs=] doc? ( app-doc/doxygen )
+BDEPEND=doc? ( app-doc/doxygen )
+DEFINED_PHASES=compile configure install
+DEPEND=>=sci-mathematics/ginac-1.7
 DESCRIPTION=A GiNaC-based library for symbolic expansion of certain transcendental functions
 EAPI=7
 HOMEPAGE=https://particlephysics.uni-mainz.de/weinzierl/nestedsums/
-IUSE=doc static-libs
+IUSE=doc
 KEYWORDS=~amd64 ~x86
 LICENSE=GPL-2
-RDEPEND=>=sci-mathematics/ginac-1.7[static-libs=]
+RDEPEND=>=sci-mathematics/ginac-1.7
 SLOT=0
 SRC_URI=http://particlephysics.uni-mainz.de/weinzierl/download/nestedsums-1.5.2.tar.gz
 _eclasses_=edos2unix	33e347e171066657f91f8b0c72ec8773	eutils	2d5b3f4b315094768576b6799e4f926e	flag-o-matic	09a8beb8e6a8e02dc1e1bd83ac353741	l10n	8cdd85e169b835d518bc2fd59f780d8e	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4	wrapper	4251d4c84c25f59094fd557e0063a974
-_md5_=275cf69b9aae9a53c93a5181a07ec28b
+_md5_=7ef3d18f261cf4df754d814fda66c717
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020
new file mode 100644
index 000000000000..f417fdea393f
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020
@@ -0,0 +1,16 @@
+BDEPEND=>=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=compile configure install prepare
+DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= <dev-ml/num-1.4:= dev-ml/yojson:= coq? ( >=sci-mathematics/coq-8.9.1 <sci-mathematics/coq-8.12 ) doc? ( dev-tex/rubber dev-python/sphinx media-gfx/graphviz dev-python/sphinxcontrib-bibtex ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= )
+DESCRIPTION=Platform for deductive program verification
+EAPI=7
+HOMEPAGE=http://why3.lri.fr/
+IUSE=coq doc emacs gtk html +ocamlopt zarith zip
+KEYWORDS=~amd64
+LICENSE=GPL-3
+RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= <dev-ml/num-1.4:= dev-ml/yojson:= coq? ( >=sci-mathematics/coq-8.9.1 <sci-mathematics/coq-8.12 ) doc? ( dev-tex/rubber dev-python/sphinx media-gfx/graphviz dev-python/sphinxcontrib-bibtex ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= )
+REQUIRED_USE=html? ( doc )
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://community.download.adacore.com/v1/8bb5801e17b8b23453262da69c981c091959eec7?filename=why3-2020-20200429-199EF-src.tar.gz
+_eclasses_=autotools	9988ecbe04129214297a7bbf3d253710	libtool	f143db5a74ccd9ca28c1234deffede96	multilib	d410501a125f99ffb560b0c523cd3d1e	toolchain-funcs	24921b57d6561d87cbef4916a296ada4
+_md5_=62603ef2a6d6736857cc933b84074175
diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0
new file mode 100644
index 000000000000..eaea2c571bf0
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/wxmaxima-21.01.0
@@ -0,0 +1,13 @@
+BDEPEND=dev-util/ninja dev-util/cmake
+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/
+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
+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	ac7cb516f6a288b6a82bc0649ce49878	edos2unix	33e347e171066657f91f8b0c72ec8773	eutils	2d5b3f4b315094768576b6799e4f926e	flag-o-matic	09a8beb8e6a8e02dc1e1bd83ac353741	l10n	8cdd85e169b835d518bc2fd59f780d8e	multilib	d410501a125f99ffb560b0c523cd3d1e	multiprocessing	cac3169468f893670dac3e7cb940e045	ninja-utils	132cbb376048d079b5a012f5467c4e7f	toolchain-funcs	24921b57d6561d87cbef4916a296ada4	wrapper	4251d4c84c25f59094fd557e0063a974	wxwidgets	e1e6e1eb5b3d911b3abd712f611e2312	xdg	c7ba313ea1eaf266f95cc6235f7d6a07	xdg-utils	ff2ff954e6b17929574eee4efc5152ba
+_md5_=713fba423ec99040df86c0ed986b7c42