[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/

["Maciej Barć" <xgqt@gentoo.org>]

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"