Date: Sunday, November 6, 2016 @ 22:26:52 Author: bpiotrowski Revision: 194820
readline 7.0 rebuild Modified: cvc4/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-11-06 22:08:23 UTC (rev 194819) +++ PKGBUILD 2016-11-06 22:26:52 UTC (rev 194820) @@ -4,7 +4,7 @@ pkgname=cvc4 pkgver=1.4 -pkgrel=4 +pkgrel=5 pkgdesc="An automatic theorem prover" arch=('i686' 'x86_64') url="http://cvc4.cs.nyu.edu/web/"