diff options
Diffstat (limited to 'sci-mathematics/why3/why3-1.5.0-r1.ebuild')
| -rw-r--r-- | sci-mathematics/why3/why3-1.5.0-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |