[arch-commits] Commit in coq/trunk (PKGBUILD)
Baptiste Jonglez
zorun at archlinux.org
Fri Jul 7 22:32:01 UTC 2017
Date: Friday, July 7, 2017 @ 22:32:01
Author: zorun
Revision: 243105
upgpkg: coq 8.6-6
Rebuild against ocaml 4.04.1
Modified:
coq/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-07-07 21:53:48 UTC (rev 243104)
+++ PKGBUILD 2017-07-07 22:32:01 UTC (rev 243105)
@@ -7,7 +7,7 @@
pkgname=('coq' 'coqide' 'coq-doc')
pkgver=8.6
-pkgrel=5
+pkgrel=6
pkgdesc='Formal proof management system'
arch=('i686' 'x86_64')
url='https://coq.inria.fr/'
More information about the arch-commits
mailing list