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 1FEDE158018 for ; Fri, 1 Oct 2021 21:04:29 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id B4555E092F; Fri, 1 Oct 2021 21:04:27 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-CHACHA20-POLY1305 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 9C911E092F for ; Fri, 1 Oct 2021 21:04:27 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-CHACHA20-POLY1305 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 9E620342CEB for ; Fri, 1 Oct 2021 21:04:25 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id C8103107 for ; Fri, 1 Oct 2021 21:04:23 +0000 (UTC) From: "Haelwenn Monnier" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Haelwenn Monnier" Message-ID: <1633093663.4962103953030be5b8f12c33f6ff110952fb6e06.lanodan@gentoo> Subject: [gentoo-commits] repo/proj/guru:master 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: lanodan X-VCS-Committer-Name: Haelwenn Monnier X-VCS-Revision: 4962103953030be5b8f12c33f6ff110952fb6e06 X-VCS-Branch: master Date: Fri, 1 Oct 2021 21:04:23 +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: 7566893f-e160-4fe5-a981-1b83a44e7bc9 X-Archives-Hash: 56688291ff8660d2a33de295004598ce commit: 4962103953030be5b8f12c33f6ff110952fb6e06 Author: François-Xavier Carton gmail com> AuthorDate: Fri Oct 1 13:07:43 2021 +0000 Commit: Haelwenn Monnier hacktivis 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 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"