commit: 662149e4459da877c9f4262ed3d9138a494cf4f3
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 31 16:49:38 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Dec 31 16:53:38 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=662149e4
sci-mathematics/why3-for-spark: update HOMEPAGE
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
index 7a9e671ad83f..962d85cf88de 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
@@ -10,7 +10,7 @@ ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f
MYP=why3-${PV}-20210519-19ADF-src
DESCRIPTION="Platform for deductive program verification"
-HOMEPAGE="https://why3.lri.fr/";
+HOMEPAGE="https://www.why3.org/ https://github.com/AdaCore/why3";
SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz"
S="${WORKDIR}"/${MYP}
