[arch-commits] Commit in cvc4/trunk (PKGBUILD)
Bartłomiej Piotrowski
bpiotrowski at archlinux.org
Sun Nov 6 22:26:53 UTC 2016
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/"
More information about the arch-commits
mailing list