commit: 80b82bedc919bf48664066e10eb2cf7b16e18d29 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon Sep 9 08:27:31 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon Sep 9 08:28:38 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=80b82bed
sci-mathematics/coq: fix SRC_URI Closes: https://bugs.gentoo.org/939364 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> 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 18989f3cf9d5..7446a497d097 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"
