[arch-commits] Commit in cvc4/trunk (PKGBUILD)

[Felix Yan]

    Date: Monday, December 7, 2015 @ 08:31:56
  Author: fyan
Revision: 149708

C++11 ABI rebuild

Modified:
  cvc4/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2015-12-07 07:25:50 UTC (rev 149707)
+++ PKGBUILD	2015-12-07 07:31:56 UTC (rev 149708)
@@ -4,7 +4,7 @@
 
 pkgname=cvc4
 pkgver=1.4
-pkgrel=3
+pkgrel=4
 pkgdesc="An automatic theorem prover"
 arch=('i686' 'x86_64')
 url="http://cvc4.cs.nyu.edu/web/"