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 <aro...@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