summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-04-11 17:39:25 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-04-11 17:39:25 +0100
commit0d39cf7bd8aae36b5d8eb4272a42dc6919216e34 (patch)
treea693bda4655d339b219f18fa48d970444858c94d /metadata/md5-cache/sci-mathematics
parent9d8d34d0eedfd7319f905092519980bf1b4ce3e5 (diff)
gentoo auto-resync : 11:04:2023 - 17:39:25
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin28452 -> 28123 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.12.0-r24
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.13.0-r14
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.15.24
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.16.016
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.16.14
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.17.07
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r211
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/flocq-4.1.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/flocq-4.1.12
12 files changed, 16 insertions, 42 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 34094da5c0af..c1023d449381 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2
index 907d60d65589..5ef6fdfe7367 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2
+++ b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2
@@ -9,7 +9,7 @@ KEYWORDS=amd64 x86
LICENSE=LGPL-2.1
RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] )
RESTRICT=test
-SLOT=0
+SLOT=0/8.12.0
SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d multilib d1408425c7c4a7669b9b17735404b693 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e
-_md5_=25c8cc65061801bb284df24625c245f1
+_md5_=b220e42b3572e8c91fb697a3b16e97b8
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
index 82287ee796ff..4a41d7335e4d 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1
@@ -9,7 +9,7 @@ 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
+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_=cf095aa4b2685a05dc9a994fa9bd075f
+_md5_=09238a256c160ba8525deb5f9ce473dc
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.15.2 b/metadata/md5-cache/sci-mathematics/coq-8.15.2
index 492740b7b33a..cba350aa5efd 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.15.2
+++ b/metadata/md5-cache/sci-mathematics/coq-8.15.2
@@ -10,7 +10,7 @@ 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-4:=[ocamlopt?] dev-ml/dune:=
RESTRICT=test
-SLOT=0
+SLOT=0/8.15.2
SRC_URI=https://github.com/coq/coq/archive/V8.15.2.tar.gz -> coq-8.15.2.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=bdf68613757409cbfd318d197d6aec09
+_md5_=39474c3575c9e92fb5fbf60d5cd192c5
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.0 b/metadata/md5-cache/sci-mathematics/coq-8.16.0
deleted file mode 100644
index 10e8dc734bb7..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-8.16.0
+++ /dev/null
@@ -1,16 +0,0 @@
-BDEPEND=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 ) dev-lang/ocaml dev-ml/dune
-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.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/
-INHERIT=desktop dune
-IUSE=doc gtk debug +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.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
-SRC_URI=https://github.com/coq/coq/archive/V8.16.0.tar.gz -> coq-8.16.0.tar.gz
-_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=525fa42506ffb2809293a69bd07bc4cc
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.1 b/metadata/md5-cache/sci-mathematics/coq-8.16.1
index f1431c2c90b9..63dc6292422b 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.16.1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.16.1
@@ -10,7 +10,7 @@ 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.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
+SLOT=0/8.16.1
SRC_URI=https://github.com/coq/coq/archive/V8.16.1.tar.gz -> coq-8.16.1.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=525fa42506ffb2809293a69bd07bc4cc
+_md5_=8af8b711119cea9a32ccdb1a09979c4e
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.0 b/metadata/md5-cache/sci-mathematics/coq-8.17.0
index 5b61233068a2..d7ed75dc1700 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.17.0
+++ b/metadata/md5-cache/sci-mathematics/coq-8.17.0
@@ -1,15 +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 ) dev-lang/ocaml dev-ml/dune
+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 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
+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.0
SRC_URI=https://github.com/coq/coq/archive/V8.17.0.tar.gz -> coq-8.17.0.tar.gz
_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=155d29142c721e3d825b6edd05b6f3b2
+_md5_=22f40dbae6984625c67adbca953bcdd0
diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r2 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r2
deleted file mode 100644
index e01df2fb42e1..000000000000
--- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r2
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=compile install
-DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:=
-DESCRIPTION=Mathematical Components for the Coq proof assistant
-EAPI=8
-HOMEPAGE=https://github.com/math-comp/math-comp/
-KEYWORDS=~amd64
-LICENSE=CeCILL-B
-RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:=
-SLOT=0/1.14.0
-SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.14.0.tar.gz -> coq-mathcomp-1.14.0.tar.gz
-_md5_=5cf7528a84966a450ab4bf6e0d496163
diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1
index 9eb42c63ad72..8f3b0e641370 100644
--- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1
+++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0-r1
@@ -8,4 +8,4 @@ LICENSE=CeCILL-B
RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.16.0:=
SLOT=0/1.15.0
SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.15.0.tar.gz -> coq-mathcomp-1.15.0.tar.gz
-_md5_=80ed124cabaf4005897d19831c3cf0bf
+_md5_=4f52082d7858c3ea71821c15a4459764
diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1
index ebe62e36f96e..2acc650b796b 100644
--- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1
+++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0-r1
@@ -8,4 +8,4 @@ LICENSE=CeCILL-B
RDEPEND=>=sci-mathematics/coq-8.16.0:= dev-lang/ocaml:=
SLOT=0/1.16.0
SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.16.0.tar.gz -> coq-mathcomp-1.16.0.tar.gz
-_md5_=a8d98af62c245b82c904cbf4cc1992d1
+_md5_=7744fa680896197a26f8a5e0260e7652
diff --git a/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1 b/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1
index b85769468bb4..69675432949d 100644
--- a/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1
+++ b/metadata/md5-cache/sci-mathematics/flocq-4.1.0-r1
@@ -10,4 +10,4 @@ RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.12:=
SLOT=0
SRC_URI=https://flocq.gitlabpages.inria.fr/releases/flocq-4.1.0.tar.gz
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
-_md5_=0d09b9357346287c313e702cf0eb250e
+_md5_=6580fd0a99f05956cbff2df525bde84f
diff --git a/metadata/md5-cache/sci-mathematics/flocq-4.1.1 b/metadata/md5-cache/sci-mathematics/flocq-4.1.1
index cbe951b88f7b..029002f38bf5 100644
--- a/metadata/md5-cache/sci-mathematics/flocq-4.1.1
+++ b/metadata/md5-cache/sci-mathematics/flocq-4.1.1
@@ -10,4 +10,4 @@ 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
+_md5_=6580fd0a99f05956cbff2df525bde84f
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 00:56:14 +0000