[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD)
Jürgen Hötzel
juergen at archlinux.org
Fri Aug 16 06:21:03 UTC 2019
Date: Friday, August 16, 2019 @ 06:21:02
Author: juergen
Revision: 499732
archrelease: copy trunk to community-x86_64
Modified:
coq/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2019-08-16 06:20:57 UTC (rev 499731)
+++ PKGBUILD 2019-08-16 06:21:02 UTC (rev 499732)
@@ -7,7 +7,7 @@
pkgname=('coq' 'coqide' 'coq-doc')
pkgver=8.9.1
-pkgrel=1
+pkgrel=2
pkgdesc='Formal proof management system'
arch=('x86_64')
url='https://coq.inria.fr/'
More information about the arch-commits
mailing list