diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-04-10 18:41:22 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-10 20:49:22 +0200 |
| commit | b9dda4f82433fcab98bdb4c5870320e7a1948817 (patch) | |
| tree | e4bb42dbbee18f4480dd4723e1b178dd8fe2780e /sci-mathematics/coq-serapi | |
| parent | net-im/spectrum2: add 2.2.0 (diff) | |
| download | gentoo-b9dda4f82433fcab98bdb4c5870320e7a1948817.tar.gz gentoo-b9dda4f82433fcab98bdb4c5870320e7a1948817.tar.bz2 gentoo-b9dda4f82433fcab98bdb4c5870320e7a1948817.zip | |
sci-mathematics/coq-serapi: fix SRC_URI
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-serapi')
| -rw-r--r-- | sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild index 45e829121219..1c0727491cf7 100644 --- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild +++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild @@ -12,7 +12,7 @@ DESCRIPTION="Serialization library and protocol for interaction with the Coq pro HOMEPAGE="https://github.com/ejgallego/coq-serapi/" # The tarball in SRC_URI is comprised of <supported coq>+<package version> -SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz +SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz -> ${P}.tar.gz" S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV} |