2022-07-26 20:01:49 UTC

7 files changed, 13 insertions, 13 deletions

diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3 b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
index f6f1e0bdf771..4c7d95fa6d55 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.0-r3
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) 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?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 INHERIT=autotools findlib
 IUSE=coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt
 KEYWORDS=~amd64
@@ -12,4 +12,4 @@ RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=d
 SLOT=0/1.4.0
 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.0.tar.gz
 _eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=32d1149dfb7207bbd023daacbd60d428
+_md5_=b693d3ae532bc1b1ff61fc05843be269
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
index 19a14acdea4d..98ddc16aa75e 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) 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?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 INHERIT=autotools findlib
 IUSE=coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt
 KEYWORDS=~amd64
@@ -12,4 +12,4 @@ RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=d
 SLOT=0/1.4.1
 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz
 _eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=32d1149dfb7207bbd023daacbd60d428
+_md5_=b693d3ae532bc1b1ff61fc05843be269
diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1 b/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
index 212ab273fdc0..4bf52abedfbf 100644
--- a/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-1.5.0-r1
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=!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-ml/findlib-1.0.4-r1[ocamlopt?]
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 INHERIT=autotools findlib
 IUSE=coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt
 KEYWORDS=~amd64
@@ -12,4 +12,4 @@ RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=d
 SLOT=0/1.5.0
 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.0.tar.gz
 _eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=0d44a0a61ba7f8f283528724344eb949
+_md5_=72fcd8874b7f0f3a9d330ec49ec704b7
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2
index 05c5534833b6..f26899bd2c30 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r2
@@ -2,7 +2,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 <=dev-ml/menhir-20190924:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= )
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip
 KEYWORDS=amd64
 LICENSE=GPL-3
@@ -11,4 +11,4 @@ REQUIRED_USE=html? ( doc )
 RESTRICT=strip
 SLOT=0
 SRC_URI=http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> why3-2019-20190517-197BB-src.tar.gz
-_md5_=d949f3f7dda2bc5506b3801593bfde31
+_md5_=0c2c824ca38e94be97171db2ec1365bd
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2020 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020
index 0e38f0e4dae0..87381812091b 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2020
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2020
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= <dev-ml/num-1.4:= dev-ml/yojson:= coq? ( >=sci-mathematics/coq-8.9.1 <sci-mathematics/coq-8.12 ) doc? ( dev-tex/rubber dev-python/sphinx media-gfx/graphviz dev-python/sphinxcontrib-bibtex ) gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea:= ) zarith? ( dev-ml/zarith:= ) zip? ( >=dev-ml/camlzip-1.07:= )
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 INHERIT=autotools
 IUSE=coq doc emacs gtk html +ocamlopt zarith zip
 KEYWORDS=~amd64
@@ -14,4 +14,4 @@ RESTRICT=strip
 SLOT=0
 SRC_URI=https://community.download.adacore.com/v1/8bb5801e17b8b23453262da69c981c091959eec7?filename=why3-2020-20200429-199EF-src.tar.gz
 _eclasses_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3
-_md5_=b32639c9bc4379b2b1992eb29ce7fc4b
+_md5_=c9e5afa522f8582561a3c88cce691574
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 d3099129a130..4205f5791328 100644
--- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
+++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare
 DEPEND=>=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= coq? ( sci-mathematics/coq ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview] ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?]
 DESCRIPTION=Platform for deductive program verification
 EAPI=7
-HOMEPAGE=http://why3.lri.fr/
+HOMEPAGE=https://why3.lri.fr/
 INHERIT=autotools findlib
 IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip +ocamlopt
 KEYWORDS=~amd64
@@ -14,4 +14,4 @@ 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_=gnuconfig	b6b3e92f8b8c996400074b5f61a59256	toolchain-funcs	1542e649be915f43f6908a9e93909961	multilib	5ca4e49abed8e3a2f7b56920eadee157	libtool	241a8f577b9781a42a7421e53448a44e	autotools	9e6965bfaa00f52cc61e0d4bc44c87b3	findlib	d8fa93cf137156660d0b72144b1e31d9
-_md5_=c55bcf479c98169798942400abe9bf59
+_md5_=6686425110ad177134a701a635640b8b
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index acebd81b2174..1db54df54842 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Tue, 26 Jul 2022 19:31:45 +0000
+Tue, 26 Jul 2022 20:01:49 +0000