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

[Kyle Keen via arch-commits]

    Date: Tuesday, December 25, 2018 @ 01:53:32
  Author: kkeen
Revision: 417885

upgpkg: cryptominisat5 5.6.6-1

Modified:
  cryptominisat5/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2018-12-25 01:51:48 UTC (rev 417884)
+++ PKGBUILD    2018-12-25 01:53:32 UTC (rev 417885)
@@ -4,7 +4,7 @@
 # need to hack up the pythonpath and get the tests to run
 
 pkgname=cryptominisat5
-pkgver=5.6.5
+pkgver=5.6.6
 pkgrel=1
 pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
 arch=('x86_64')
@@ -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=('da3c44c7750842db4bd42c17f74387f4')
+md5sums=('cce64bfd256700e96baee90b7bdfe770')
 
 # many fancy features requiring makedeps
 # intel-tbb, python2, m4ri, libmysqlclient, valgrind