gentoo auto-resync : 28:06:2023 - 07:37:01

4 files changed, 19 insertions, 18 deletions

diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index da8c061785be..4834200d357f 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
deleted file mode 100644
index 4a41d7335e4d..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
+++ /dev/null
@@ -1,15 +0,0 @@
-DEFINED_PHASES=compile configure install test
-DEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) doc? ( media-libs/netpbm[png,postscript(+),zlib(+)] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
-DESCRIPTION=Proof assistant written in O'Caml
-EAPI=7
-HOMEPAGE=http://coq.inria.fr/
-INHERIT=desktop findlib
-IUSE=gtk debug +ocamlopt doc +ocamlopt
-KEYWORDS=~amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
-RESTRICT=test
-SLOT=0/8.13.0
-SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz
-_eclasses_=desktop	021728fdc1b03b36357dbc89489e0f0d	findlib	cc1c14904708a0a28bcb256b342a808c
-_md5_=09238a256c160ba8525deb5f9ce473dc
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.1 b/metadata/md5-cache/sci-mathematics/coq-8.17.1
new file mode 100644
index 000000000000..1152d61767de
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/coq-8.17.1
@@ -0,0 +1,16 @@
+BDEPEND=dev-ml/findlib doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune
+DEFINED_PHASES=compile configure install prepare test
+DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+DESCRIPTION=Proof assistant written in O'Caml
+EAPI=8
+HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/
+INHERIT=desktop dune edo
+IUSE=debug doc gui +ocamlopt test
+KEYWORDS=~amd64 ~x86
+LICENSE=LGPL-2.1
+RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
+RESTRICT=!test? ( test )
+SLOT=0/8.17.1
+SRC_URI=https://github.com/coq/coq/archive/V8.17.1.tar.gz -> coq-8.17.1.tar.gz
+_eclasses_=desktop	021728fdc1b03b36357dbc89489e0f0d	dune	beddc7cde467b2e48afc78a87d042c01	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
+_md5_=6a7ff97e8e02494b1b14d1b93b161bc4
diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2 b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1
index 476cc5c6940f..6434d967ece8 100644
--- a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2
+++ b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1
@@ -11,7 +11,7 @@ LICENSE=MIT
 RDEPEND=dev-libs/gmp:=[cxx] readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= )
 REQUIRED_USE=?? ( libedit readline )
 RESTRICT=!test? ( test )
-SLOT=0/2.4.3
-SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.4.3.tar.gz -> opensmt-2.4.3.tar.gz
+SLOT=0/2.5.1
+SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.5.1.tar.gz -> opensmt-2.5.1.tar.gz
 _eclasses_=cmake	1abaebfe913f48975739281ab7d7ab75	flag-o-matic	ad475baa777c9978fa035216c8264a10	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	76050953ad5b70d7e09a6ca55558db92	toolchain-funcs	513c31b3346458ed1f3878b57da6d61c	xdg-utils	baea6080dd821f5562d715887954c9d3
-_md5_=9fa742eeca6812e326030d77c6312a90
+_md5_=fb1afbbfccdd0d3fcf6b58d691007f37