From 80b82bedc919bf48664066e10eb2cf7b16e18d29 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Mon, 9 Sep 2024 10:27:31 +0200 Subject: [PATCH] sci-mathematics/coq: fix SRC_URI MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/939364 Signed-off-by: Maciej Barć --- sci-mathematics/coq/coq-8.20.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild b/sci-mathematics/coq/coq-8.20.0.ebuild index 18989f3cf9d54..7446a497d097b 100644 --- a/sci-mathematics/coq/coq-8.20.0.ebuild +++ b/sci-mathematics/coq/coq-8.20.0.ebuild @@ -6,7 +6,7 @@ EAPI=8 inherit check-reqs desktop dune edo DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/ +HOMEPAGE="https://coq.inria.fr/ https://github.com/coq/coq/" if [[ "${PV}" == *9999* ]] ; then @@ -14,7 +14,7 @@ if [[ "${PV}" == *9999* ]] ; then EGIT_REPO_URI="https://github.com/coq/coq.git" else - SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz + SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz -> ${P}.tar.gz" KEYWORDS="~amd64 ~x86"