diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2022-07-26 21:39:39 +0200 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2022-07-26 21:54:20 +0200 |
| commit | e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b (patch) | |
| tree | 79c15a04d4988848a73cb036b9af2a8a4d4259ae /sci-mathematics | |
| parent | sci-mathematics/why3: use https (diff) | |
| download | gentoo-e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b.tar.gz gentoo-e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b.tar.bz2 gentoo-e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b.zip | |
sci-mathematics/why3-for-spark: use https
Signed-off-by: Michael Mair-Keimberger <mmk@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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
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" |