2024-11-19 20:03:31 UTC

3 files changed, 0 insertions, 48 deletions

diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.0 b/metadata/md5-cache/sci-mathematics/coq-8.19.0
deleted file mode 100644
index 2a478d6c617e..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.19.0
+++ /dev/null
@@ -1,16 +0,0 @@
-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 pretend setup test
-DEPEND=dev-ml/num:= dev-ml/zarith:= 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=check-reqs desktop dune edo
-IUSE=debug doc gui +ocamlopt test
-KEYWORDS=amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=dev-ml/num:= dev-ml/zarith:= 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
-SLOT=0/8.19.0
-SRC_URI=https://github.com/coq/coq/archive/V8.19.0.tar.gz -> coq-8.19.0.tar.gz
-_eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	desktop	3a72ffe0d8e1dd73af3a1c8c15a59fed	edo	367e103a74bf77e6a8da7894d999fa3c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	dune	21c2970666b517829dc7b963ca1f4a4a
-_md5_=1bc10f6433b50def570223a22439d07f
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.1 b/metadata/md5-cache/sci-mathematics/coq-8.19.1
deleted file mode 100644
index 86d73c056aa6..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.19.1
+++ /dev/null
@@ -1,16 +0,0 @@
-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 pretend setup test
-DEPEND=dev-ml/num:= dev-ml/zarith:= 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=check-reqs desktop dune edo
-IUSE=debug doc gui +ocamlopt test
-KEYWORDS=~amd64 ~x86
-LICENSE=LGPL-2.1
-RDEPEND=dev-ml/num:= dev-ml/zarith:= 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
-SLOT=0/8.19.1
-SRC_URI=https://github.com/coq/coq/archive/V8.19.1.tar.gz -> coq-8.19.1.tar.gz
-_eclasses_=check-reqs	2a9731073c152554078a9a8df8fc0f1b	desktop	3a72ffe0d8e1dd73af3a1c8c15a59fed	edo	367e103a74bf77e6a8da7894d999fa3c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	dune	21c2970666b517829dc7b963ca1f4a4a
-_md5_=349c35ff3cf9b0e98baf1f33bd448369
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
deleted file mode 100644
index 45526d24f3e9..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune
-DEFINED_PHASES=compile install postinst postrm test
-DEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/ejgallego/coq-serapi/
-INHERIT=dune elisp-common
-IUSE=emacs +ocamlopt test
-KEYWORDS=~amd64
-LICENSE=GPL-3+
-RDEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= >=dev-ml/ppx_sexp_conv-0.13.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
-RESTRICT=!test? ( test )
-SLOT=0/0.19.0
-SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.19.0+0.19.0.tar.gz -> coq-serapi-0.19.0.tar.gz
-_eclasses_=edo	367e103a74bf77e6a8da7894d999fa3c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	dune	21c2970666b517829dc7b963ca1f4a4a	elisp-common	abb2dda42f680fce87602c8273f832c7
-_md5_=d7cf623ec5c257dfef0e91398d47601e