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

[Antonio Rojas]

    Date: Saturday, August 29, 2015 @ 23:16:58
  Author: arojas
Revision: 138948

Update to 2.9.10

Modified:
  cryptominisat/trunk/PKGBUILD

----------+
 PKGBUILD |   18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2015-08-29 20:59:07 UTC (rev 138947)
+++ PKGBUILD	2015-08-29 21:16:58 UTC (rev 138948)
@@ -2,30 +2,30 @@
 # Maintainer: Antonio Rojas <arojas at archlinux.org>
 
 pkgname=cryptominisat
-pkgver=2.9.9
+pkgver=2.9.10
 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')
+arch=(i686 x86_64)
 url="http://www.msoos.org/cryptominisat2/"
-license=('LGPL')
-depends=('zlib' 'gcc-libs')
+license=(LGPL)
+depends=(zlib gcc-libs)
 makedepends=()
-source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver-release.tar.gz")
-md5sums=('b63a473a9579c26949fbad8552faf37a')
+source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
+md5sums=('eb46361e991c04211f87fb4a18743e11')
 
 prepare() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   autoreconf -vi
 }
 
 build() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   ./configure --prefix=/usr
   make
 }
 
 package() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   make install DESTDIR="$pkgdir"
 }