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/why3-for-spark/why3-for-spark-2020.ebuild | |
| 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/why3-for-spark/why3-for-spark-2020.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |