commit: e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Tue Jul 26 19:39:39 2022 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Tue Jul 26 19:54:20 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6e9b60f
sci-mathematics/why3-for-spark: use https Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Closes: https://github.com/gentoo/gentoo/pull/26610 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 2 +- sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 2 +- sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild index f0597604b01e..bc975bd21a6b 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild @@ -6,7 +6,7 @@ EAPI=7 MYP=why3-${PV}-20190517-197BB-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/"; +HOMEPAGE="https://why3.lri.fr/"; SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> ${MYP}.tar.gz" diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild index 7988788f83af..9075ebf3e9da 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild @@ -8,7 +8,7 @@ inherit autotools MYP=why3-${PV}-20200429-199EF-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/"; +HOMEPAGE="https://why3.lri.fr/"; SRC_URI="https://community.download.adacore.com/v1/8bb5801e17b8b23453262da69c981c091959eec7?filename=${MYP}.tar.gz"; LICENSE="GPL-3" diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index fd2397eb1b04..0801160e66e9 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -10,7 +10,7 @@ ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f MYP=why3-${PV}-20210519-19ADF-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/"; +HOMEPAGE="https://why3.lri.fr/"; SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" LICENSE="GPL-3"
