diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-07-16 04:41:57 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-07-16 04:41:57 +0100 |
commit | 668b36c015ae61191cf7d5007b0afdbdcedab441 (patch) | |
tree | 2ea72a4f3d3f0cbdf023f218912809157a31ab7d /metadata/md5-cache/sci-mathematics | |
parent | 7a0f8a92967dc1c6eab8d6f66ec476905009a287 (diff) |
gentoo auto-resync : 16:07:2023 - 04:41:57
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 29237 -> 27323 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.15.2 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.16.1 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.17.0 | 4 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.17.1 | 4 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1 | 11 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/flint-2.8.4 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/flint-2.8.5 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 | 14 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-1.5.1 | 15 |
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 Binary files differindex 7a2d25c7680b..567b1002d4dd 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.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 |