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

Sat Dec 5 15:47:02 UTC 2015

Date: Saturday, December 5, 2015 @ 16:47:02
  Author: allan
Revision: 148509

C++11 ABI rebuild

Modified:
  cryptominisat/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================

--- PKGBUILD	2015-12-05 15:45:37 UTC (rev 148508)
+++ PKGBUILD	2015-12-05 15:47:02 UTC (rev 148509)
@@ -3,7 +3,7 @@
 
 pkgname=cryptominisat
 pkgver=2.9.10
-pkgrel=1
+pkgrel=2
 pkgdesc="SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat"
 arch=(i686 x86_64)
 url="http://www.msoos.org/cryptominisat2/"

