From: | Haelwenn Monnier <contact@×××××××××.me> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/why3/ |
Date: | Fri, 01 Oct 2021 21:04:29 |
Message-Id: | 1633093663.4962103953030be5b8f12c33f6ff110952fb6e06.lanodan@gentoo |
1 | commit: 4962103953030be5b8f12c33f6ff110952fb6e06 |
2 | Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
3 | AuthorDate: Fri Oct 1 13:07:43 2021 +0000 |
4 | Commit: Haelwenn Monnier <contact <AT> hacktivis <DOT> me> |
5 | CommitDate: Fri Oct 1 13:07:43 2021 +0000 |
6 | URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=49621039 |
7 | |
8 | sci-mathematics/why3: update SRC_URI |
9 | |
10 | Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> |
11 | |
12 | sci-mathematics/why3/why3-1.3.3.ebuild | 2 +- |
13 | sci-mathematics/why3/why3-1.4.0.ebuild | 2 +- |
14 | 2 files changed, 2 insertions(+), 2 deletions(-) |
15 | |
16 | diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild |
17 | index 75f796891..89ff253ff 100644 |
18 | --- a/sci-mathematics/why3/why3-1.3.3.ebuild |
19 | +++ b/sci-mathematics/why3/why3-1.3.3.ebuild |
20 | @@ -7,7 +7,7 @@ inherit autotools findlib |
21 | |
22 | DESCRIPTION="Platform for deductive program verification" |
23 | HOMEPAGE="http://why3.lri.fr/" |
24 | -SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/${P}.tar.gz" |
25 | +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" |
26 | |
27 | LICENSE="LGPL-2" |
28 | SLOT="0" |
29 | |
30 | diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0.ebuild |
31 | index 9174013f3..cce31164b 100644 |
32 | --- a/sci-mathematics/why3/why3-1.4.0.ebuild |
33 | +++ b/sci-mathematics/why3/why3-1.4.0.ebuild |
34 | @@ -7,7 +7,7 @@ inherit autotools findlib |
35 | |
36 | DESCRIPTION="Platform for deductive program verification" |
37 | HOMEPAGE="http://why3.lri.fr/" |
38 | -SRC_URI="https://gforge.inria.fr/frs/download.php/file/38425/${P}.tar.gz" |
39 | +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" |
40 | |
41 | LICENSE="LGPL-2" |
42 | SLOT="0" |