From 6657c680376cedf378fcf328e5fa03ed3b41d580 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 2 Jun 2024 00:07:23 +0100 Subject: gentoo auto-resync : 02:06:2024 - 00:07:23 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 29744 -> 29737 bytes metadata/md5-cache/sci-mathematics/alt-ergo-2.4.3 | 2 +- metadata/md5-cache/sci-mathematics/alt-ergo-9999 | 2 +- metadata/md5-cache/sci-mathematics/coq-8.19.0 | 2 +- metadata/md5-cache/sci-mathematics/coq-8.19.1 | 2 +- .../md5-cache/sci-mathematics/coq-serapi-0.19.0 | 2 +- .../md5-cache/sci-mathematics/easycrypt-2023.09 | 2 +- .../md5-cache/sci-mathematics/easycrypt-2024.01 | 2 +- metadata/md5-cache/sci-mathematics/kind2-1.9.0 | 2 +- metadata/md5-cache/sci-mathematics/proverif-2.04-r1 | 2 +- metadata/md5-cache/sci-mathematics/proverif-2.05 | 2 +- metadata/md5-cache/sci-mathematics/proverif-9999 | 2 +- .../md5-cache/sci-mathematics/psmt2-frontend-0.4.0 | 2 +- metadata/md5-cache/sci-mathematics/why3-1.6.0 | 2 +- .../sci-mathematics/why3-for-spark-2021-r1 | 2 +- 15 files changed, 14 insertions(+), 14 deletions(-) (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index dcf8dabfc07c..3e770633cf5d 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz 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:= =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:= =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 -- cgit v1.2.3