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.gzbin28772 -> 28607 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r115
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p2023032415
-rw-r--r--metadata/md5-cache/sci-mathematics/flocq-4.1.113
-rw-r--r--metadata/md5-cache/sci-mathematics/genius-1.0.272
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.4.0-r315
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.6.0 (renamed from metadata/md5-cache/sci-mathematics/why3-1.5.0-r1)12
8 files changed, 35 insertions, 52 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index baa752923aec..bdbeabab12e9 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/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:= <sci-mathematics/why3-1.5:= 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=CeCILL-B CeCILL-C
-RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= <sci-mathematics/why3-1.5:= 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/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:= <sci-mathematics/why3-1.5:= 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.4:= <sci-mathematics/why3-1.5:= 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
-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:= <sci-mathematics/why3-1.7:= dev-ml/batteries:= dev-ml/camlp-streams:= 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.6:= <sci-mathematics/why3-1.7:= dev-ml/batteries:= dev-ml/camlp-streams:= 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_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.6.0
index ac1bac446faf..d6f54ea86724 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.6.0
@@ -1,15 +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?]
+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
+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.0
-SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.0.tar.gz
+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_=72fcd8874b7f0f3a9d330ec49ec704b7
+_md5_=1b60f52516740a173dc4ce769f5163f5
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 18:20:25 +0000