2022-07-23 00:16:57 UTC

7 files changed, 44 insertions, 13 deletions

diff --git a/metadata/md5-cache/dev-ml/merlin-4.6 b/metadata/md5-cache/dev-ml/merlin-4.6
new file mode 100644
index 000000000000..de8ffdca0b33
--- /dev/null
+++ b/metadata/md5-cache/dev-ml/merlin-4.6
@@ -0,0 +1,16 @@
+BDEPEND=!<dev-ml/seq-0.3 test? ( app-misc/jq ) dev-ml/dune dev-lang/ocaml
+DEFINED_PHASES=compile install postinst postrm prepare test unpack
+DEPEND=>=dev-lang/ocaml-4.12:=[ocamlopt?] dev-ml/csexp:= >=dev-ml/yojson-2.0.0:= dev-ml/menhir:= >=dev-ml/dune-2.9:= || ( dev-lang/ocaml:0/4.12 dev-lang/ocaml:0/4.13 dev-lang/ocaml:0/4.14 ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/auto-complete app-emacs/company-mode ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Context sensitive completion for OCaml in Vim and Emacs
+EAPI=8
+HOMEPAGE=https://github.com/ocaml/merlin/
+INHERIT=elisp-common dune
+IUSE=emacs +ocamlopt test
+KEYWORDS=~amd64
+LICENSE=MIT
+RDEPEND=>=dev-lang/ocaml-4.12:=[ocamlopt?] dev-ml/csexp:= >=dev-ml/yojson-2.0.0:= dev-ml/menhir:= >=dev-ml/dune-2.9:= || ( dev-lang/ocaml:0/4.12 dev-lang/ocaml:0/4.13 dev-lang/ocaml:0/4.14 ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/auto-complete app-emacs/company-mode ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+RESTRICT=!test? ( test )
+SLOT=0/4.6
+SRC_URI=https://github.com/ocaml/merlin/releases/download/v4.6-412/merlin-4.6-412.tbz https://github.com/ocaml/merlin/releases/download/v4.6-413/merlin-4.6-413.tbz https://github.com/ocaml/merlin/releases/download/v4.6-414/merlin-4.6-414.tbz
+_eclasses_=elisp-common	e7aaa047873789f549ea3df2f04b2145	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	c8f275f00adf2380fe0a57d8a249885c
+_md5_=85105c0a8f6fba92195fb6d506969c0b
diff --git a/metadata/md5-cache/dev-ml/seq-0.3 b/metadata/md5-cache/dev-ml/seq-0.3
new file mode 100644
index 000000000000..469a8b57d7f7
--- /dev/null
+++ b/metadata/md5-cache/dev-ml/seq-0.3
@@ -0,0 +1,15 @@
+BDEPEND=dev-ml/dune dev-lang/ocaml
+DEFINED_PHASES=compile install test
+DEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Compatibility package for the standard OCaml iterator type
+EAPI=8
+HOMEPAGE=https://github.com/c-cube/seq
+INHERIT=dune
+IUSE=+ocamlopt
+KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
+LICENSE=GPL-3
+RDEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+SLOT=0
+SRC_URI=https://github.com/c-cube/seq/archive/v0.3.tar.gz -> seq-0.3.tar.gz
+_eclasses_=multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	dune	c8f275f00adf2380fe0a57d8a249885c
+_md5_=eca9cffc4730704d4b3e86b4d2c2b490
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r2 b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
index d0458087ba06..f6f1e0bdf771 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r2
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
@@ -1,6 +1,6 @@
 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.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) 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?]
+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=http://why3.lri.fr/
@@ -8,8 +8,8 @@ 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:= dev-ml/seq:= ) 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?]
+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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=a492796b6d667ed6f2d4cb5978c31fe0
+_md5_=32d1149dfb7207bbd023daacbd60d428
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
index 1d33123a98db..19a14acdea4d 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
@@ -1,6 +1,6 @@
 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.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) 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?]
+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=http://why3.lri.fr/
@@ -8,8 +8,8 @@ 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:= dev-ml/seq:= ) 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?]
+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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=a492796b6d667ed6f2d4cb5978c31fe0
+_md5_=32d1149dfb7207bbd023daacbd60d428
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.0 b/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
index cd67cdb887c2..212ab273fdc0 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.5.0
+++ b/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
@@ -1,6 +1,6 @@
 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:= dev-ml/seq:= ) 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
 HOMEPAGE=http://why3.lri.fr/
@@ -8,8 +8,8 @@ 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:= dev-ml/seq:= ) 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?]
+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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=b24f47c543ef7420919d58383c423f8c
+_md5_=0d44a0a61ba7f8f283528724344eb949
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 24d75ccf5b98..fd15d05568e4 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -6331,7 +6331,7 @@ dev-ml/lwt_ssl 1.1.3: GLib integration for Lwt
 dev-ml/markup 1.0.0-r1 1.0.2-r1: Error-recovering streaming HTML5 and XML parsers
 dev-ml/mccs 1.1.13: Multi Criteria CUDF Solver
 dev-ml/menhir 20190924 20210419-r1 20211012: LR(1) parser generator for the OCaml language
-dev-ml/merlin 3.4.2-r3 4.2-r2 4.3.1-r3 4.4-r3 4.5-r3: Context sensitive completion for OCaml in Vim and Emacs
+dev-ml/merlin 3.4.2-r3 4.2-r2 4.3.1-r3 4.4-r3 4.5-r3 4.6: Context sensitive completion for OCaml in Vim and Emacs
 dev-ml/merlin-extend 0.6-r1: SDK to extend Merlin
 dev-ml/mew 0.1.0-r1: General modal editing engine generator
 dev-ml/mew_vi 0.5.0: A vi-like modal editing engine generator
@@ -6435,7 +6435,7 @@ dev-ml/reason 3.7.0_p20211014 3.8.0 3.8.1: Simple, fast & type safe language tha
 dev-ml/result 1.5: Compat result type
 dev-ml/rresult 0.5.0 0.6.0 0.7.0: Result value combinators for OCaml
 dev-ml/sedlex 2.3-r1 2.5: An OCaml lexer generator for Unicode
-dev-ml/seq 0.2 0.2.2: Compatibility package for the standard OCaml iterator type
+dev-ml/seq 0.2 0.2.2 0.3: Compatibility package for the standard OCaml iterator type
 dev-ml/sexp_pretty 0.15.0: S-expression pretty-printer
 dev-ml/sexplib 0.14.0 0.15.0-r2: Library for automated conversion of OCaml-values to and from S-expressions
 dev-ml/sexplib0 0.14.0 0.15.0-r1: Library for automated conversion of OCaml-values to and from S-expressions
@@ -17123,7 +17123,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: 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-r2 1.4.1 1.5.0: Platform for deductive program verification
+sci-mathematics/why3 1.4.0-r3 1.4.1-r1 1.5.0-r1: 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 f2ba39fdca29..5df3e57bde6c 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Fri, 22 Jul 2022 23:46:41 +0000
+Sat, 23 Jul 2022 00:16:57 +0000