2022-09-19 19:01:50 UTC

5 files changed, 36 insertions, 6 deletions

diff --git a/metadata/md5-cache/dev-ml/react-1.2.2 b/metadata/md5-cache/dev-ml/react-1.2.2-r1
index 98b8b4a65aac..7f4afc815c12 100644
--- a/metadata/md5-cache/dev-ml/react-1.2.2
+++ b/metadata/md5-cache/dev-ml/react-1.2.2-r1
@@ -2,7 +2,7 @@ BDEPEND=dev-ml/opam-installer dev-lang/ocaml
 DEFINED_PHASES=compile install test
 DEPEND=dev-ml/findlib >=dev-ml/topkg-0.9 >=dev-lang/ocaml-4:=
 DESCRIPTION=OCaml module for functional reactive programming
-EAPI=7
+EAPI=8
 HOMEPAGE=http://erratique.ch/software/react https://github.com/dbuenzli/react
 INHERIT=opam
 IUSE=test
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
 SLOT=0/1.2.2
 SRC_URI=http://erratique.ch/software/react/releases/react-1.2.2.tbz
 _eclasses_=opam	42c5d48985d3f77484fe405cfc69356d
-_md5_=0344f6937dc7c3cd4c4b587ebbd2520a
+_md5_=33786827357a088e98c6bb39a73950c1
diff --git a/metadata/md5-cache/dev-ml/uuidm-0.9.8 b/metadata/md5-cache/dev-ml/uuidm-0.9.8
new file mode 100644
index 000000000000..a710c3016ad2
--- /dev/null
+++ b/metadata/md5-cache/dev-ml/uuidm-0.9.8
@@ -0,0 +1,15 @@
+BDEPEND=dev-ml/findlib[ocamlopt=] dev-ml/ocamlbuild[ocamlopt=] dev-ml/topkg dev-ml/opam-installer dev-lang/ocaml
+DEFINED_PHASES=compile install
+DEPEND=>=dev-lang/ocaml-4:=
+DESCRIPTION=Universally unique identifiers (UUIDs) for OCaml
+EAPI=8
+HOMEPAGE=https://github.com/dbuenzli/uuidm/
+INHERIT=opam
+IUSE=+ocamlopt
+KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
+LICENSE=ISC
+RDEPEND=>=dev-lang/ocaml-4:=
+SLOT=0/0.9.8
+SRC_URI=https://github.com/dbuenzli/uuidm/archive/v0.9.8.tar.gz -> uuidm-0.9.8.tar.gz
+_eclasses_=opam	42c5d48985d3f77484fe405cfc69356d
+_md5_=3a81d9a2450f98c8ee9415898e127db1
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.1 b/metadata/md5-cache/sci-mathematics/why3-1.5.1
new file mode 100644
index 000000000000..a4c11e62217e
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/why3-1.5.1
@@ -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 >=sys-devel/libtool-2.4
+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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
+_md5_=1319f34bbbc07ca4ed8cf2941cf928a2
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index c640c2983888..1f93eae3cc79 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -6203,7 +6203,7 @@ dev-ml/ptmap 2.0.5-r1: Maps of integers implemented as Patricia trees
 dev-ml/qcheck 0.18: QuickCheck inspired property-based testing for OCaml
 dev-ml/qtest 2.11.2: Inline (Unit) Tests for OCaml
 dev-ml/re 1.9.0 1.10.3 1.10.4: Regular expression library for OCaml
-dev-ml/react 1.2.1-r1 1.2.2: OCaml module for functional reactive programming
+dev-ml/react 1.2.1-r1 1.2.2-r1: OCaml module for functional reactive programming
 dev-ml/reactiveData 0.2.1: Functional reactive programming with incremental changes in data structures
 dev-ml/reason 3.7.0_p20211014 3.8.0 3.8.1: Simple, fast & type safe language that leverages JavaScript and OCaml
 dev-ml/result 1.5: Compat result type
@@ -6229,7 +6229,7 @@ dev-ml/uchar 0.0.2: Uchar compatibility library
 dev-ml/unidecode 0.4.0: Convert unicode strings into its ASCII representation
 dev-ml/utop 2.9.0-r1 2.9.1-r1 2.9.2: Universal toplevel for OCaml
 dev-ml/uucp 13.0.0-r2 14.0.0: Unicode character properties for OCaml
-dev-ml/uuidm 0.9.7: Universally unique identifiers (UUIDs) for OCaml
+dev-ml/uuidm 0.9.7 0.9.8: Universally unique identifiers (UUIDs) for OCaml
 dev-ml/uunf 13.0.0-r1 14.0.0: Unicode text normalization
 dev-ml/uutf 1.0.1 1.0.2 1.0.3: Non-blocking streaming Unicode codec for OCaml
 dev-ml/variantslib 0.14.0 0.15.0: OCaml variants as first class values
@@ -16928,7 +16928,7 @@ sci-mathematics/twelf 1.7.1-r2: Implementation of the logical framework LF
 sci-mathematics/unuran 1.8.1: Universal Non-Uniform Random number generator
 sci-mathematics/vampire 4.6.1-r1 4.7: 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: Platform for deductive program verification
+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-for-spark 2019-r2 2020 2021-r1: Platform for deductive program verification
 sci-mathematics/wxmaxima 20.12.2 21.11.0 22.04.0 22.05.0: Graphical frontend to Maxima, using the wxWidgets toolkit
 sci-mathematics/yacas 1.7.0-r1 1.9.1: General purpose computer algebra system
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index fb36088891f2..89edc3a876ce 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Mon, 19 Sep 2022 18:46:48 +0000
+Mon, 19 Sep 2022 19:01:50 +0000