diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2022-07-26 21:38:11 +0200 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2022-07-26 21:54:10 +0200 |
| commit | 5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9 (patch) | |
| tree | 63ebdb21c2e416fc3f4ad6adf2171a721dd81a64 /sci-mathematics/why3 | |
| parent | opam.eclass: add EAPI 8 (diff) | |
| download | gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.tar.gz gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.tar.bz2 gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.zip | |
sci-mathematics/why3: use https
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.0-r3.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.4.1-r1.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.5.0-r1.ebuild | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/why3/why3-1.4.0-r3.ebuild b/sci-mathematics/why3/why3-1.4.0-r3.ebuild index e57cc66c0237..6d1e01d9863c 100644 --- a/sci-mathematics/why3/why3-1.4.0-r3.ebuild +++ b/sci-mathematics/why3/why3-1.4.0-r3.ebuild @@ -6,7 +6,7 @@ EAPI=7 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" LICENSE="LGPL-2" diff --git a/sci-mathematics/why3/why3-1.4.1-r1.ebuild b/sci-mathematics/why3/why3-1.4.1-r1.ebuild index e57cc66c0237..6d1e01d9863c 100644 --- a/sci-mathematics/why3/why3-1.4.1-r1.ebuild +++ b/sci-mathematics/why3/why3-1.4.1-r1.ebuild @@ -6,7 +6,7 @@ EAPI=7 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" LICENSE="LGPL-2" diff --git a/sci-mathematics/why3/why3-1.5.0-r1.ebuild b/sci-mathematics/why3/why3-1.5.0-r1.ebuild index 5f542a4b9e57..d592ff2803b1 100644 --- a/sci-mathematics/why3/why3-1.5.0-r1.ebuild +++ b/sci-mathematics/why3/why3-1.5.0-r1.ebuild @@ -6,7 +6,7 @@ EAPI=7 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" LICENSE="LGPL-2" |