diff options
author | François-Xavier Carton <fx.carton91@gmail.com> | 2021-10-01 15:07:43 +0200 |
---|---|---|
committer | François-Xavier Carton <fx.carton91@gmail.com> | 2021-10-01 15:07:43 +0200 |
commit | 4962103953030be5b8f12c33f6ff110952fb6e06 (patch) | |
tree | 88446ebca1feefb48a0bd93547bad1b19ea63e45 | |
parent | dev-python/oslo-concurrency: treeclean (was added to ::gentoo) (diff) | |
download | guru-49621039.tar.gz guru-49621039.tar.bz2 guru-49621039.zip |
sci-mathematics/why3: update SRC_URI
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
-rw-r--r-- | sci-mathematics/why3/why3-1.3.3.ebuild | 2 | ||||
-rw-r--r-- | 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" |