commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> AuthorDate: Fri Oct 1 13:07:43 2021 +0000 Commit: Haelwenn Monnier <contact <AT> hacktivis <DOT> me> CommitDate: Fri Oct 1 13:07:43 2021 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=49621039
sci-mathematics/why3: update SRC_URI Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> sci-mathematics/why3/why3-1.3.3.ebuild | 2 +- sci-mathematics/why3/why3-1.4.0.ebuild | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild index 75f796891..89ff253ff 100644 --- a/sci-mathematics/why3/why3-1.3.3.ebuild +++ b/sci-mathematics/why3/why3-1.3.3.ebuild @@ -7,7 +7,7 @@ inherit autotools findlib DESCRIPTION="Platform for deductive program verification" HOMEPAGE="http://why3.lri.fr/"; -SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/${P}.tar.gz"; +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"; LICENSE="LGPL-2" SLOT="0" diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0.ebuild index 9174013f3..cce31164b 100644 --- a/sci-mathematics/why3/why3-1.4.0.ebuild +++ b/sci-mathematics/why3/why3-1.4.0.ebuild @@ -7,7 +7,7 @@ inherit autotools findlib DESCRIPTION="Platform for deductive program verification" HOMEPAGE="http://why3.lri.fr/"; -SRC_URI="https://gforge.inria.fr/frs/download.php/file/38425/${P}.tar.gz"; +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"; LICENSE="LGPL-2" SLOT="0"
