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

[Evangelos Foutras]

    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/"