commit: b9dda4f82433fcab98bdb4c5870320e7a1948817 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon Apr 10 16:41:22 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon Apr 10 18:49:22 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9dda4f8
sci-mathematics/coq-serapi: fix SRC_URI Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}
