commit: 5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Tue Jul 26 19:38:11 2022 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Tue Jul 26 19:54:10 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c16384c
sci-mathematics/why3: use https Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3/why3-1.4.0-r3.ebuild | 2 +- sci-mathematics/why3/why3-1.4.1-r1.ebuild | 2 +- 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"
