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/'