diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-09-09 10:27:31 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-09-09 10:28:38 +0200 |
| commit | 80b82bedc919bf48664066e10eb2cf7b16e18d29 (patch) | |
| tree | 3252c9a995de788b8e68466775a08890554e8936 /sci-mathematics | |
| parent | media-libs/plotutils: Drop .la files, fix impl declarations (diff) | |
| download | gentoo-80b82bedc919bf48664066e10eb2cf7b16e18d29.tar.gz gentoo-80b82bedc919bf48664066e10eb2cf7b16e18d29.tar.bz2 gentoo-80b82bedc919bf48664066e10eb2cf7b16e18d29.zip | |
sci-mathematics/coq: fix SRC_URI
Closes: https://bugs.gentoo.org/939364
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/coq-8.20.0.ebuild | 4 |
1 files 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" |