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

[Kyle Keen]

    Date: Friday, February 22, 2019 @ 06:19:20
  Author: kkeen
Revision: 435164

upgpkg: cryptominisat5 5.6.8-1

Modified:
  cryptominisat5/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-02-22 05:57:45 UTC (rev 435163)
+++ PKGBUILD	2019-02-22 06:19:20 UTC (rev 435164)
@@ -4,8 +4,8 @@
 # need to hack up the pythonpath and get the tests to run
 
 pkgname=cryptominisat5
-pkgver=5.6.6
-pkgrel=2
+pkgver=5.6.8
+pkgrel=1
 pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
 arch=('x86_64')
 #url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/"
@@ -16,7 +16,7 @@
 # vim for xxd
 optdepends=('python2: python module')
 source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
-md5sums=('cce64bfd256700e96baee90b7bdfe770')
+md5sums=('ca1bf853e568c19968daa5464ab86843')
 
 # many fancy features requiring makedeps
 # intel-tbb, python2, m4ri, libmysqlclient, valgrind