gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: fix SRC_URI

Browse Source 
Closes: https://bugs.gentoo.org/939364
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2024-09-09 10:27:31 +02:00
parent 530901e555
commit 80b82bedc9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/coq/coq-8.20.0.ebuild
View File

@@ -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"