From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 4FC0E158018 for ; Fri, 1 Oct 2021 13:16:52 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 380B6E085E; Fri, 1 Oct 2021 13:16:50 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-CHACHA20-POLY1305 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 17616E085E for ; Fri, 1 Oct 2021 13:16:49 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-CHACHA20-POLY1305 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id A7B53342BBC for ; Fri, 1 Oct 2021 13:16:48 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 1BE0189 for ; Fri, 1 Oct 2021 13:16:47 +0000 (UTC) From: "Francois-Xavier Carton" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Francois-Xavier Carton" Message-ID: <1633093663.4962103953030be5b8f12c33f6ff110952fb6e06.Francois-XavierCarton@gentoo> Subject: [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/why3/ X-VCS-Repository: repo/proj/guru X-VCS-Files: sci-mathematics/why3/why3-1.3.3.ebuild sci-mathematics/why3/why3-1.4.0.ebuild X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: Francois-XavierCarton X-VCS-Committer-Name: Francois-Xavier Carton X-VCS-Revision: 4962103953030be5b8f12c33f6ff110952fb6e06 X-VCS-Branch: dev Date: Fri, 1 Oct 2021 13:16:47 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: b57fd81e-7ab0-4e5e-96de-576f05110398 X-Archives-Hash: fdc2eefc45a42f974570ca80adceb367 commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton gmail com> AuthorDate: Fri Oct 1 13:07:43 2021 +0000 Commit: Francois-Xavier Carton gmail 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 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"