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

[Antonio Rojas]

    Date: Tuesday, April 12, 2016 @ 08:45:05
  Author: arojas
Revision: 170582

Update to 2.9.11

Modified:
  cryptominisat/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2016-04-12 06:41:59 UTC (rev 170581)
+++ PKGBUILD	2016-04-12 06:45:05 UTC (rev 170582)
@@ -2,8 +2,8 @@
 # Maintainer: Antonio Rojas <arojas at archlinux.org>
 
 pkgname=cryptominisat
-pkgver=2.9.10
-pkgrel=2
+pkgver=2.9.11
+pkgrel=1
 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/"
@@ -11,7 +11,7 @@
 depends=(zlib gcc-libs)
 makedepends=()
 source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
-md5sums=('eb46361e991c04211f87fb4a18743e11')
+md5sums=('0b6fb32ccb5c1ad84174e19d3b9c0d0f')
 
 prepare() {
   cd $pkgname-$pkgname-$pkgver