From 6882d8d1110ef4feeec532196a1f0a25420d0fd1 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 2 Apr 2023 05:16:35 +0100 Subject: gentoo auto-resync : 02:04:2023 - 05:16:35 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 28772 -> 28607 bytes .../sci-mathematics/easycrypt-1.0_pre20220303-r1 | 15 --------------- .../md5-cache/sci-mathematics/easycrypt-2022.04-r1 | 15 --------------- .../sci-mathematics/easycrypt-2022.04_p20230324 | 15 +++++++++++++++ metadata/md5-cache/sci-mathematics/flocq-4.1.1 | 13 +++++++++++++ metadata/md5-cache/sci-mathematics/genius-1.0.27 | 2 +- metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 | 15 --------------- metadata/md5-cache/sci-mathematics/why3-1.5.0-r1 | 15 --------------- metadata/md5-cache/sci-mathematics/why3-1.6.0 | 15 +++++++++++++++ 9 files changed, 44 insertions(+), 61 deletions(-) delete mode 100644 metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 delete mode 100644 metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 create mode 100644 metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20230324 create mode 100644 metadata/md5-cache/sci-mathematics/flocq-4.1.1 delete mode 100644 metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 delete mode 100644 metadata/md5-cache/sci-mathematics/why3-1.5.0-r1 create mode 100644 metadata/md5-cache/sci-mathematics/why3-1.6.0 (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index baa752923aec..bdbeabab12e9 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz differ diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 deleted file mode 100644 index 5719b6d7b075..000000000000 --- a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 +++ /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.4:= =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=CeCILL-B CeCILL-C -RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= -SLOT=0/1.0_pre20220303 -SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/c98b014c131b6c0b147b852902953dd6c5771603.tar.gz -> easycrypt-1.0_pre20220303.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=d39f9396df9dd725570effc6fccab75c diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 deleted file mode 100644 index d0e9ac90532e..000000000000 --- a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 +++ /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.4:= =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.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= -SLOT=0/2022.04 -SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/r2022.04.tar.gz -> easycrypt-2022.04.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=d29ce63d4a4fb2e8893b6f0014527d9b diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20230324 b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20230324 new file mode 100644 index 000000000000..e4febe33a297 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20230324 @@ -0,0 +1,15 @@ +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.6:= =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.6:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +SLOT=0/2022.04_p20230324 +SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/f62625928cc0970c88839c84897d1f6b17437519.tar.gz -> easycrypt-2022.04_p20230324.tar.gz +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_md5_=e1a5ca4a8192b31492306d3846fa1589 diff --git a/metadata/md5-cache/sci-mathematics/flocq-4.1.1 b/metadata/md5-cache/sci-mathematics/flocq-4.1.1 new file mode 100644 index 000000000000..cbe951b88f7b --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/flocq-4.1.1 @@ -0,0 +1,13 @@ +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=dev-lang/ocaml:= >=sci-mathematics/coq-8.12:= +SLOT=0 +SRC_URI=https://flocq.gitlabpages.inria.fr/releases/flocq-4.1.1.tar.gz +_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_md5_=0d09b9357346287c313e702cf0eb250e diff --git a/metadata/md5-cache/sci-mathematics/genius-1.0.27 b/metadata/md5-cache/sci-mathematics/genius-1.0.27 index 219d9c738adf..54bd298f9c44 100644 --- a/metadata/md5-cache/sci-mathematics/genius-1.0.27 +++ b/metadata/md5-cache/sci-mathematics/genius-1.0.27 @@ -11,5 +11,5 @@ LICENSE=GPL-3+ RDEPEND=>=dev-libs/glib-2.41.1:2 dev-libs/gmp:0= dev-libs/mpfr:0= sys-libs/ncurses:0= sys-libs/readline:0= >=x11-libs/gtk+-3.21.4:3 >=x11-libs/vte-0.50.0:2.91 gui? ( >=x11-libs/gtk+-3.21.4:3 ) SLOT=0 SRC_URI=mirror://gnome/sources/genius/1.0/genius-1.0.27.tar.xz doc? ( https://www.jirka.org/genius-reference.pdf ) -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnome.org 6c78a619c14b62c2dbdae52e6c25087f gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnome.org 6b39404f1491c60a2d32e3c693a683fe gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=797a934633a7d748d114a19adb739926 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 deleted file mode 100644 index b3c296533113..000000000000 --- a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 +++ /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.0 -SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e -_md5_=b693d3ae532bc1b1ff61fc05843be269 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1 b/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1 deleted file mode 100644 index ac1bac446faf..000000000000 --- a/metadata/md5-cache/sci-mathematics/why3-1.5.0-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.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=7 -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.0 -SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e -_md5_=72fcd8874b7f0f3a9d330ec49ec704b7 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.6.0 b/metadata/md5-cache/sci-mathematics/why3-1.6.0 new file mode 100644 index 000000000000..d6f54ea86724 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/why3-1.6.0 @@ -0,0 +1,15 @@ +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.6.0 +SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.6.0.tar.gz +_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_md5_=1b60f52516740a173dc4ce769f5163f5 -- cgit v1.2.3