diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-27 03:00:39 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-27 03:00:39 +0100 |
commit | fe618c8b8c934661d2297b2aeb0615a48e787691 (patch) | |
tree | 24a8209687e0ff34205acd703b6b80e7c6897f81 /sci-mathematics/why3/why3-1.4.1-r1.ebuild | |
parent | 1d4cc2fdaa7a04ed1fe39b6cf1d892bd83bd8030 (diff) |
gentoo auto-resync : 27:07:2022 - 03:00:38
Diffstat (limited to 'sci-mathematics/why3/why3-1.4.1-r1.ebuild')
-rw-r--r-- | sci-mathematics/why3/why3-1.4.1-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |