Date: Thursday, November 29, 2018 @ 07:12:38 Author: juergen Revision: 410504
OCaml 4.07.1 rebuild Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-11-29 07:12:16 UTC (rev 410503) +++ PKGBUILD 2018-11-29 07:12:38 UTC (rev 410504) @@ -7,7 +7,7 @@ pkgname=('coq' 'coqide' 'coq-doc') pkgver=8.8.2 -pkgrel=1 +pkgrel=2 pkgdesc='Formal proof management system' arch=('x86_64') url='https://coq.inria.fr/'