Date: Friday, January 11, 2019 @ 07:59:51 Author: foutrelis Revision: 422302
Readline 8.0 rebuild Modified: cvc4/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-01-11 07:58:44 UTC (rev 422301) +++ PKGBUILD 2019-01-11 07:59:51 UTC (rev 422302) @@ -3,7 +3,7 @@ pkgname=cvc4 pkgver=1.6 -pkgrel=1 +pkgrel=2 pkgdesc="An automatic theorem prover" arch=('x86_64') url="http://cvc4.cs.nyu.edu/web/"