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

Johannes Löthberg demize at archlinux.org
Wed Feb 22 19:37:19 UTC 2017


    Date: Wednesday, February 22, 2017 @ 19:37:19
  Author: demize
Revision: 213545

upgpkg: coq 8.6-5

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    1 -
 1 file changed, 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-02-22 19:36:19 UTC (rev 213544)
+++ PKGBUILD	2017-02-22 19:37:19 UTC (rev 213545)
@@ -88,7 +88,6 @@
 package_coq-doc() {
   pkgdesc="HTML and PDF documentation for the Coq proof assistant"
   depends=()
-  arch=('any')
 
   cd "$srcdir/coq-$pkgver"
 



More information about the arch-commits mailing list