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.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 8FADB158094 for ; Tue, 26 Jul 2022 19:54:39 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 926FEE0CB4; Tue, 26 Jul 2022 19:54:38 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 3999FE0CB4 for ; Tue, 26 Jul 2022 19:54:38 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 2983E340F34 for ; Tue, 26 Jul 2022 19:54:37 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 680C6527 for ; Tue, 26 Jul 2022 19:54:35 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1658865260.e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild X-VCS-Directories: sci-mathematics/why3-for-spark/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b X-VCS-Branch: master Date: Tue, 26 Jul 2022 19:54:35 +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: 3c6c34af-13d1-4474-9686-d2cff0a73d42 X-Archives-Hash: 34beb50b0510f99479f1ed94f69d517c commit: e6e9b60f9793c4d9b0d56f5a72d8edf5a286bf6b Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Jul 26 19:39:39 2022 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jul 26 19:54:20 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6e9b60f sci-mathematics/why3-for-spark: use https Signed-off-by: Michael Mair-Keimberger levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Closes: https://github.com/gentoo/gentoo/pull/26610 Signed-off-by: Alfredo Tupone gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 2 +- sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 2 +- sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild index f0597604b01e..bc975bd21a6b 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild @@ -6,7 +6,7 @@ EAPI=7 MYP=why3-${PV}-20190517-197BB-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> ${MYP}.tar.gz" diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild index 7988788f83af..9075ebf3e9da 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild @@ -8,7 +8,7 @@ inherit autotools MYP=why3-${PV}-20200429-199EF-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="https://community.download.adacore.com/v1/8bb5801e17b8b23453262da69c981c091959eec7?filename=${MYP}.tar.gz" LICENSE="GPL-3" diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index fd2397eb1b04..0801160e66e9 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -10,7 +10,7 @@ ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f MYP=why3-${PV}-20210519-19ADF-src DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" +HOMEPAGE="https://why3.lri.fr/" SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" LICENSE="GPL-3"