[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/

[Francois-Xavier Carton]

commit:     4962103953030be5b8f12c33f6ff110952fb6e06
Author:     François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Fri Oct  1 13:07:43 2021 +0000
Commit:     Francois-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
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"