Date: Tuesday, October 24, 2017 @ 06:05:09 Author: zorun Revision: 264085
coq: Fix source URL Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-10-24 00:15:40 UTC (rev 264084) +++ PKGBUILD 2017-10-24 06:05:09 UTC (rev 264085) @@ -20,7 +20,7 @@ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc 'texlive-fontsextra' 'texlive-science' 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') -source=("https://github.com/coq/coq/archive/V${pkgver}.tar.gz") +source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz") sha512sums=('c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2') prepare() {