2023-04-01 23:02:00 UTC

9 files changed, 39 insertions, 71 deletions

diff --git a/metadata/md5-cache/dev-ml/camlp-streams-5.0 b/metadata/md5-cache/dev-ml/camlp-streams-5.0
deleted file mode 100644
index a2668460ad1a..000000000000
--- a/metadata/md5-cache/dev-ml/camlp-streams-5.0
+++ /dev/null
@@ -1,15 +0,0 @@
-BDEPEND=dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install test
-DEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Stream and Genlex libraries for use with Camlp4 and Camlp5
-EAPI=8
-HOMEPAGE=https://github.com/ocaml/camlp-streams
-INHERIT=dune
-IUSE=+ocamlopt
-KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86
-LICENSE=LGPL-2-with-linking-exception
-RDEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-SLOT=0
-SRC_URI=https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.tar.gz -> camlp-streams-5.0.tar.gz
-_eclasses_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
-_md5_=1226433e3bc3be1219defe13e80acc1b
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 d777ff2fe606..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_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
-_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 10431f39960d..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_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
-_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..c0ac16de51a5
--- /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_=edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	beddc7cde467b2e48afc78a87d042c01
+_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/why3-1.4.0-r3 b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
deleted file mode 100644
index 1dac556049a7..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_=findlib	cc1c14904708a0a28bcb256b342a808c	gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	14a8ae365191b518fad51caad7a08f3e	multilib	d1408425c7c4a7669b9b17735404b693	libtool	9d3a9a889a6fa62ae794f817c156491b	autotools	f0d3196128225dee3220e65f3371bc7a
-_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 bb91628e6d9c..dadff82448a4 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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	14a8ae365191b518fad51caad7a08f3e	multilib	d1408425c7c4a7669b9b17735404b693	libtool	9d3a9a889a6fa62ae794f817c156491b	autotools	f0d3196128225dee3220e65f3371bc7a	findlib	cc1c14904708a0a28bcb256b342a808c
-_md5_=72fcd8874b7f0f3a9d330ec49ec704b7
+_md5_=1b60f52516740a173dc4ce769f5163f5
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 43907fd85fd9..4625c555081d 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -5617,7 +5617,7 @@ dev-ml/calendars 1.0.0: Convert dates between gregorian/julian/french/hebrew cal
 dev-ml/camlbz2 0.7.0: OCaml bindings for libbz (AKA, bzip2)
 dev-ml/camldbm 1.0 1.2: OCaml binding to the NDBM/GDBM Unix databases
 dev-ml/camlidl 1.05-r1 1.09 1.11: Stub code generator for OCaml
-dev-ml/camlp-streams 5.0 5.0.1: Stream and Genlex libraries for use with Camlp4 and Camlp5
+dev-ml/camlp-streams 5.0.1: Stream and Genlex libraries for use with Camlp4 and Camlp5
 dev-ml/camlp4 4.05_p1-r2 4.09_p1-r2 4.10_p1-r3 4.11_p1-r3 4.12-r2 4.13-r2 4.14-r1 4.14_p1-r2: System for writing extensible parsers for programming languages
 dev-ml/camlp5 7.11-r1 7.12 7.13 7.14 8.00 8.00.01 8.00.02 8.00.03 8.00.04 8.00.05-r1: A preprocessor-pretty-printer of ocaml
 dev-ml/camlpdf 2.3.1: OCaml library for reading, writing, and modifying PDF files
@@ -15914,7 +15914,7 @@ sci-mathematics/dataplot 20131220: Program for scientific visualization and stat
 sci-mathematics/diagrtb 2.64: Calculation of some eigenvectors of a large real, symmetrical, matrix
 sci-mathematics/dsfmt 2.2.4: Double precision SIMD-oriented Fast Mersenne Twister library
 sci-mathematics/dunshire 0.1.1-r3: Python library to solve linear games over symmetric cones
-sci-mathematics/easycrypt 1.0_pre20220303-r1 2022.04-r1 2022.04_p20220505: Computer-Aided Cryptographic Proofs
+sci-mathematics/easycrypt 2022.04_p20220505 2022.04_p20230324: Computer-Aided Cryptographic Proofs
 sci-mathematics/eclib 20221012: Programs for elliptic curves defined over the rational numbers
 sci-mathematics/ent 101202: Random number sequence test and entropy calculation
 sci-mathematics/eprover 3.0_pre008: Automated theorem prover for full first-order logic with equality
@@ -15922,7 +15922,7 @@ sci-mathematics/euler 1.61.0-r1: Mathematical programming environment
 sci-mathematics/fann 2.2.0-r1 9999: Fast Artificial Neural Network Library
 sci-mathematics/flint 2.8.4 2.8.5 2.9.0: Fast Library for Number Theory
 sci-mathematics/flintqs 1.0: Multi-polynomial quadratic sieve for integer factorization
-sci-mathematics/flocq 4.1.0-r1: Formalization of floating-point arithmetic for the Coq proof assistant
+sci-mathematics/flocq 4.1.0-r1 4.1.1: Formalization of floating-point arithmetic for the Coq proof assistant
 sci-mathematics/form 4.2.1 4.3.0-r1: Symbolic Manipulation System
 sci-mathematics/fricas 1.3.8-r1: FriCAS is a fork of Axiom computer algebra system
 sci-mathematics/frobby 0.9.0-r4: Software system and project for computations with monomial ideals
@@ -15992,7 +15992,7 @@ sci-mathematics/twelf 1.7.1-r2: Implementation of the logical framework LF
 sci-mathematics/unuran 1.8.1 1.9.0: Universal Non-Uniform Random number generator
 sci-mathematics/vampire 4.6.1-r2 4.7-r1: The Vampire Prover, theorem prover for first-order logic
 sci-mathematics/verit 2021.06.2: An open, trustable and efficient SMT-prover
-sci-mathematics/why3 1.4.0-r3 1.4.1-r1 1.5.0-r1 1.5.1: Platform for deductive program verification
+sci-mathematics/why3 1.4.1-r1 1.5.1 1.6.0: Platform for deductive program verification
 sci-mathematics/why3-for-spark 2019-r3 2020 2021-r1: Platform for deductive program verification
 sci-mathematics/wxmaxima 20.12.2 22.12.0 23.02.0: Graphical frontend to Maxima, using the wxWidgets toolkit
 sci-mathematics/yacas 1.9.1: General purpose computer algebra system
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index e36f737d372a..92fe17e28aef 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Sat, 01 Apr 2023 21:31:54 +0000
+Sat, 01 Apr 2023 23:02:00 +0000