[arch-commits] Commit in coq/trunk (PKGBUILD)

[Baptiste Jonglez]

    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() {