commit: 31463d3fe79d6abed444c7d01d11c55f1281eef6 Author: Sam James <sam <AT> gentoo <DOT> org> AuthorDate: Tue Dec 31 16:49:14 2024 +0000 Commit: Sam James <sam <AT> gentoo <DOT> org> CommitDate: Tue Dec 31 16:53:37 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=31463d3f
sci-mathematics/why3: update HOMEPAGE Signed-off-by: Sam James <sam <AT> gentoo.org> sci-mathematics/why3/why3-1.6.0.ebuild | 4 ++-- sci-mathematics/why3/why3-1.7.2.ebuild | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/why3/why3-1.6.0.ebuild b/sci-mathematics/why3/why3-1.6.0.ebuild index 1c3b6b458cc9..27569d1c9825 100644 --- a/sci-mathematics/why3/why3-1.6.0.ebuild +++ b/sci-mathematics/why3/why3-1.6.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -6,7 +6,7 @@ EAPI=8 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="https://why3.lri.fr/"; +HOMEPAGE="https://www.why3.org/"; SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"; LICENSE="LGPL-2" diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 888c5c48f865..7e5ea53e4f28 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -6,7 +6,7 @@ EAPI=8 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="https://why3.lri.fr/"; +HOMEPAGE="https://www.why3.org/"; SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"; LICENSE="LGPL-2"
