summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29237 -> 27323 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.15.216
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.16.116
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.17.04
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.17.14
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r111
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.16.116
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r116
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.16.316
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p2022050515
-rw-r--r--metadata/md5-cache/sci-mathematics/flint-2.8.416
-rw-r--r--metadata/md5-cache/sci-mathematics/flint-2.8.516
-rw-r--r--metadata/md5-cache/sci-mathematics/singular-4.3.1_p314
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.4.1-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.5.115
15 files changed, 4 insertions, 186 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 7a2d25c7680b..567b1002d4dd 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.15.2 b/metadata/md5-cache/sci-mathematics/coq-8.15.2
deleted file mode 100644
index cba350aa5efd..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.15.2
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
-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?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Proof assistant written in O'Caml
-EAPI=8
-HOMEPAGE=http://coq.inria.fr/
-INHERIT=desktop dune
-IUSE=doc gtk debug +ocamlopt
-KEYWORDS=~amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=test
-SLOT=0/8.15.2
-SRC_URI=https://github.com/coq/coq/archive/V8.15.2.tar.gz -> coq-8.15.2.tar.gz
-_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=39474c3575c9e92fb5fbf60d5cd192c5
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.1 b/metadata/md5-cache/sci-mathematics/coq-8.16.1
deleted file mode 100644
index 63dc6292422b..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.16.1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) dev-lang/ocaml dev-ml/dune
-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.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Proof assistant written in O'Caml
-EAPI=8
-HOMEPAGE=http://coq.inria.fr/
-INHERIT=desktop dune
-IUSE=doc gtk debug +ocamlopt
-KEYWORDS=~amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=test
-SLOT=0/8.16.1
-SRC_URI=https://github.com/coq/coq/archive/V8.16.1.tar.gz -> coq-8.16.1.tar.gz
-_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=8af8b711119cea9a32ccdb1a09979c4e
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.0 b/metadata/md5-cache/sci-mathematics/coq-8.17.0
index 6e7ce27d3fcb..fe3f2800b7dc 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.17.0
+++ b/metadata/md5-cache/sci-mathematics/coq-8.17.0
@@ -1,5 +1,5 @@
BDEPEND=dev-ml/findlib doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile configure install prepare test
+DEFINED_PHASES=compile configure install preinst prepare test
DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Proof assistant written in O'Caml
EAPI=8
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
SLOT=0/8.17.0
SRC_URI=https://github.com/coq/coq/archive/V8.17.0.tar.gz -> coq-8.17.0.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=d504c96ddcde31e697bf46c78bade014
+_md5_=a625eb43493d07f67edfd7c756860a23
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.1 b/metadata/md5-cache/sci-mathematics/coq-8.17.1
index 1152d61767de..d644deaa32e8 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.17.1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.17.1
@@ -1,5 +1,5 @@
BDEPEND=dev-ml/findlib doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile configure install prepare test
+DEFINED_PHASES=compile configure install preinst prepare test
DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Proof assistant written in O'Caml
EAPI=8
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
SLOT=0/8.17.1
SRC_URI=https://github.com/coq/coq/archive/V8.17.1.tar.gz -> coq-8.17.1.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=6a7ff97e8e02494b1b14d1b93b161bc4
+_md5_=062cf22329928b743640f763439c6a05
diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1
deleted file mode 100644
index 8f3b0e641370..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=-
-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=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_=4f52082d7858c3ea71821c15a4459764
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1
deleted file mode 100644
index 249da20a7bb5..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install postinst postrm test
-DEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/ejgallego/coq-serapi/
-INHERIT=elisp-common dune
-IUSE=emacs +ocamlopt test
-KEYWORDS=~amd64
-LICENSE=GPL-3+
-RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/0.16.1
-SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.1.tar.gz -> coq-serapi-0.16.1.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=868e7b3972f5c5e8dd8e659c1f2593e3
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1
deleted file mode 100644
index d5dcf604d400..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install postinst postrm test
-DEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/ejgallego/coq-serapi/
-INHERIT=elisp-common dune
-IUSE=emacs +ocamlopt test
-KEYWORDS=~amd64
-LICENSE=GPL-3+
-RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/0.16.2
-SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.2.tar.gz -> coq-serapi-0.16.2.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=192ec700b3e6be5b5f885884dfa21f59
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3
deleted file mode 100644
index 83494161603a..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install postinst postrm test
-DEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/ejgallego/coq-serapi/
-INHERIT=elisp-common dune
-IUSE=emacs +ocamlopt test
-KEYWORDS=~amd64
-LICENSE=GPL-3+
-RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/0.16.3
-SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.3.tar.gz -> coq-serapi-0.16.3.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=e77e0b3330ffe3ef2ab69e3e61580fa2
diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505
deleted file mode 100644
index 08cad1dfd54f..000000000000
--- a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install prepare test
-DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.5:= <sci-mathematics/why3-1.6:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Computer-Aided Cryptographic Proofs
-EAPI=8
-HOMEPAGE=https://github.com/EasyCrypt/easycrypt
-INHERIT=dune
-IUSE=+ocamlopt
-KEYWORDS=~amd64
-LICENSE=MIT
-RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.5:= <sci-mathematics/why3-1.6:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-SLOT=0/2022.04_p20220505
-SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03.tar.gz -> easycrypt-2022.04_p20220505.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=167c12bfe60f989c99d233f057ce537c
diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.4 b/metadata/md5-cache/sci-mathematics/flint-2.8.4
deleted file mode 100644
index 5c08301c9b0f..000000000000
--- a/metadata/md5-cache/sci-mathematics/flint-2.8.4
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=doc? ( dev-python/sphinx app-text/texlive-core dev-texlive/texlive-latex dev-texlive/texlive-latexextra dev-tex/latexmk ) || ( >=dev-lang/python-3.10.12:3.10 ) sys-devel/make >=dev-util/cmake-3.20.5
-DEFINED_PHASES=compile configure install prepare setup test
-DEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas
-DESCRIPTION=Fast Library for Number Theory
-EAPI=8
-HOMEPAGE=http://www.flintlib.org/
-INHERIT=cmake python-any-r1
-IUSE=doc ntl test
-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.4.tar.gz -> flint-2.8.4.tar.gz
-_eclasses_=cmake 6c921d868d090cc18e142a396f66f74a flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 a013e16d5d896b3d8be68dd2a0e846ea toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3
-_md5_=b49f299777fabd61c68214ff8cfaa45b
diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.5 b/metadata/md5-cache/sci-mathematics/flint-2.8.5
deleted file mode 100644
index 61b98426fae9..000000000000
--- a/metadata/md5-cache/sci-mathematics/flint-2.8.5
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=doc? ( dev-python/sphinx app-text/texlive-core dev-texlive/texlive-latex dev-texlive/texlive-latexextra dev-tex/latexmk ) || ( >=dev-lang/python-3.11.4:3.11 >=dev-lang/python-3.10.12:3.10 ) sys-devel/make >=dev-util/cmake-3.20.5
-DEFINED_PHASES=compile configure install prepare setup test
-DEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas
-DESCRIPTION=Fast Library for Number Theory
-EAPI=8
-HOMEPAGE=http://www.flintlib.org/
-INHERIT=cmake python-any-r1
-IUSE=doc ntl test
-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.5.tar.gz -> flint-2.8.5.tar.gz
-_eclasses_=cmake 6c921d868d090cc18e142a396f66f74a flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 a013e16d5d896b3d8be68dd2a0e846ea toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3
-_md5_=521ca2347f1d5304cb1a34a551dce193
diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 b/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3
deleted file mode 100644
index 8e6d64795252..000000000000
--- a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3
+++ /dev/null
@@ -1,14 +0,0 @@
-DEFINED_PHASES=compile configure install postinst postrm test
-DEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline )
-DESCRIPTION=Computer algebra system for polynomial computations
-EAPI=8
-HOMEPAGE=https://www.singular.uni-kl.de/ https://github.com/Singular/Singular
-INHERIT=elisp-common
-IUSE=emacs examples polymake +readline static-libs
-KEYWORDS=amd64 ~ppc ~riscv ~x86 ~x86-linux
-LICENSE=BSD GPL-2 GPL-3
-RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline )
-SLOT=0
-SRC_URI=https://www.singular.uni-kl.de/ftp/pub/Math/Singular/SOURCES/4-3-1/singular-4.3.1p3.tar.gz
-_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78
-_md5_=3c391f0d988bb3a0172440b1562944e9
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
deleted file mode 100644
index baf59040a149..000000000000
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex media-gfx/graphviz dev-texlive/texlive-latex dev-texlive/texlive-fontsrecommended dev-texlive/texlive-latexextra ) 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 prepare
-DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
-DESCRIPTION=Platform for deductive program verification
-EAPI=7
-HOMEPAGE=https://why3.lri.fr/
-INHERIT=autotools findlib
-IUSE=coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt
-KEYWORDS=~amd64
-LICENSE=LGPL-2
-RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?]
-SLOT=0/1.4.1
-SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz
-_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c
-_md5_=b693d3ae532bc1b1ff61fc05843be269
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.1 b/metadata/md5-cache/sci-mathematics/why3-1.5.1
deleted file mode 100644
index aa7c59a8cd06..000000000000
--- a/metadata/md5-cache/sci-mathematics/why3-1.5.1
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex media-gfx/graphviz dev-texlive/texlive-latex dev-texlive/texlive-fontsrecommended dev-texlive/texlive-latexextra ) 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 prepare
-DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
-DESCRIPTION=Platform for deductive program verification
-EAPI=8
-HOMEPAGE=https://why3.lri.fr/
-INHERIT=autotools findlib
-IUSE=coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt
-KEYWORDS=~amd64
-LICENSE=LGPL-2
-RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?]
-SLOT=0/1.5.1
-SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.1.tar.gz
-_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c
-_md5_=1319f34bbbc07ca4ed8cf2941cf928a2
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-15 14:22:38 +0000