summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-02 00:07:23 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-02 00:07:23 +0100
commit6657c680376cedf378fcf328e5fa03ed3b41d580 (patch)
tree44ea8d174f647daca562b9bdcbcb527a85a77d0a /metadata/md5-cache/sci-mathematics
parent1551fe56fd6ba43a94509cffc61b6bf854b7ac9f (diff)
gentoo auto-resync : 02:06:2024 - 00:07:23
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29744 -> 29737 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/alt-ergo-2.4.32
-rw-r--r--metadata/md5-cache/sci-mathematics/alt-ergo-99992
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.19.02
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-8.19.12
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.19.02
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-2023.092
-rw-r--r--metadata/md5-cache/sci-mathematics/easycrypt-2024.012
-rw-r--r--metadata/md5-cache/sci-mathematics/kind2-1.9.02
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-2.04-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-2.052
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-99992
-rw-r--r--metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.02
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-1.6.02
-rw-r--r--metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r12
15 files changed, 14 insertions, 14 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index dcf8dabfc07c..3e770633cf5d 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/alt-ergo-2.4.3 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.3
index c5b98761a9b2..466bbb8b4a4d 100644
--- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.3
+++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.3
@@ -12,5 +12,5 @@ RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.
REQUIRED_USE=ocamlopt
SLOT=0/2.4.3
SRC_URI=https://github.com/OCamlPro/alt-ergo/archive/2.4.3.tar.gz -> alt-ergo-2.4.3.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=386d28d72fd727ae92dfc870f7d600f0
diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-9999 b/metadata/md5-cache/sci-mathematics/alt-ergo-9999
index 42069d44e3e9..59f76521c9e4 100644
--- a/metadata/md5-cache/sci-mathematics/alt-ergo-9999
+++ b/metadata/md5-cache/sci-mathematics/alt-ergo-9999
@@ -11,5 +11,5 @@ PROPERTIES=live
RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= >=dev-ml/cmdliner-1.1.0:= >=dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/num:= dev-ml/stdlib-shims:= dev-ml/zarith:= gui? ( dev-ml/lablgtk:3 dev-ml/lablgtk-sourceview:3 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
REQUIRED_USE=ocamlopt
SLOT=0/9999
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c git-r3 fbb2889c81f3a05910c1524db69425c1 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c git-r3 fbb2889c81f3a05910c1524db69425c1 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=a7e1bf50b794c6321a719b02c83bb6b6
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.0 b/metadata/md5-cache/sci-mathematics/coq-8.19.0
index 14bb5fb07b3d..f18e0266aa80 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.19.0
+++ b/metadata/md5-cache/sci-mathematics/coq-8.19.0
@@ -12,5 +12,5 @@ RDEPEND=dev-ml/num:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview
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 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=1bc10f6433b50def570223a22439d07f
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.1 b/metadata/md5-cache/sci-mathematics/coq-8.19.1
index b922364bcb73..1007ce26988c 100644
--- a/metadata/md5-cache/sci-mathematics/coq-8.19.1
+++ b/metadata/md5-cache/sci-mathematics/coq-8.19.1
@@ -12,5 +12,5 @@ RDEPEND=dev-ml/num:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview
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 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_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
index f27ef65506b8..961eea4f614a 100644
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
+++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
@@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= >=dev-ml/pp
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_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=d7cf623ec5c257dfef0e91398d47601e
diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2023.09 b/metadata/md5-cache/sci-mathematics/easycrypt-2023.09
index 2d1a7f435f01..5f82a53a9cda 100644
--- a/metadata/md5-cache/sci-mathematics/easycrypt-2023.09
+++ b/metadata/md5-cache/sci-mathematics/easycrypt-2023.09
@@ -11,5 +11,5 @@ LICENSE=MIT
RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.6:= <sci-mathematics/why3-1.7:= dev-ml/batteries:= dev-ml/camlp-streams:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
SLOT=0/2023.09
SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/r2023.09.tar.gz -> easycrypt-2023.09.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=5146c4d699ca3f0b0f29cfc4c0a5b639
diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2024.01 b/metadata/md5-cache/sci-mathematics/easycrypt-2024.01
index 52313db3a808..bfed3f6dc4aa 100644
--- a/metadata/md5-cache/sci-mathematics/easycrypt-2024.01
+++ b/metadata/md5-cache/sci-mathematics/easycrypt-2024.01
@@ -11,5 +11,5 @@ LICENSE=MIT
RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] dev-ml/batteries:= dev-ml/camlp-streams:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= sci-mathematics/why3:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
SLOT=0/2024.01
SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/r2024.01.tar.gz -> easycrypt-2024.01.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=188f8c44f834e2e9f20458a001bf00eb
diff --git a/metadata/md5-cache/sci-mathematics/kind2-1.9.0 b/metadata/md5-cache/sci-mathematics/kind2-1.9.0
index 736d82135b26..db2989ee6134 100644
--- a/metadata/md5-cache/sci-mathematics/kind2-1.9.0
+++ b/metadata/md5-cache/sci-mathematics/kind2-1.9.0
@@ -12,5 +12,5 @@ RDEPEND=dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= dev-ml/zmq:= >=dev-lang/oca
RESTRICT=!test? ( test )
SLOT=0/1.9.0
SRC_URI=https://github.com/kind2-mc/kind2/archive/v1.9.0.tar.gz -> kind2-1.9.0.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=eec3a83e9471f8df36d4d7f95abe502a
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
index e83cc65a9784..d888e23c97da 100644
--- a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
+++ b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
@@ -10,5 +10,5 @@ LICENSE=GPL-2+
RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0
SRC_URI=https://gitlab.inria.fr/bblanche/proverif/-/archive/v2.04/proverif-v2.04.tar.bz2
-_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib 49d5365fca4dea46f13825b9d763c89e
_md5_=9373d1a7fdd2f6e16db0eff62c97eec2
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.05 b/metadata/md5-cache/sci-mathematics/proverif-2.05
index 983a081c57e0..fd6cded31273 100644
--- a/metadata/md5-cache/sci-mathematics/proverif-2.05
+++ b/metadata/md5-cache/sci-mathematics/proverif-2.05
@@ -10,5 +10,5 @@ LICENSE=GPL-2+
RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0
SRC_URI=https://bblanche.gitlabpages.inria.fr/proverif/proverif2.05.tar.gz
-_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib 49d5365fca4dea46f13825b9d763c89e
_md5_=aa45d3d98d5c6b0ff1aa90bec7923565
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999
index 1bbbb2e89bca..17bf0d23cfe6 100644
--- a/metadata/md5-cache/sci-mathematics/proverif-9999
+++ b/metadata/md5-cache/sci-mathematics/proverif-9999
@@ -10,5 +10,5 @@ LICENSE=GPL-2+
PROPERTIES=live
RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0
-_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c git-r3 fbb2889c81f3a05910c1524db69425c1
+_eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib 49d5365fca4dea46f13825b9d763c89e git-r3 fbb2889c81f3a05910c1524db69425c1
_md5_=9373d1a7fdd2f6e16db0eff62c97eec2
diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0
index 17e1cf1f86f6..977b9277ba5f 100644
--- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0
+++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0
@@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/menhir-20181006:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0/0.4.0
SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> psmt2-frontend-0.4.0.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune 339df00cc31668d437589817d093748d edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=5c6cd9f4f1c220aed0bdf02f3deaacfc
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.6.0 b/metadata/md5-cache/sci-mathematics/why3-1.6.0
index 761ba3b16b41..1df7e5b8bfe0 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.6.0
+++ b/metadata/md5-cache/sci-mathematics/why3-1.6.0
@@ -11,5 +11,5 @@ 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.6.0
SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.6.0.tar.gz
-_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d findlib cc1c14904708a0a28bcb256b342a808c gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d findlib 49d5365fca4dea46f13825b9d763c89e gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=1b60f52516740a173dc4ce769f5163f5
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
index b6489aff25b1..cb06f467587f 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
@@ -13,5 +13,5 @@ REQUIRED_USE=html? ( doc ) ocamlopt
RESTRICT=strip
SLOT=0
SRC_URI=https://community.download.adacore.com/v1/dd74ae7ecfd7d56aff7b17cee7a35559384a600f?filename=why3-2021-20210519-19ADF-src.tar.gz -> why3-2021-20210519-19ADF-src.tar.gz
-_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d findlib cc1c14904708a0a28bcb256b342a808c gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d findlib 49d5365fca4dea46f13825b9d763c89e gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=27c2766cdac950f187bbd61c462f073f
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-13 08:33:25 +0000