[arch-commits] Commit in cryptominisat5/trunk (PKGBUILD)
Kyle Keen
kkeen at archlinux.org
Fri Feb 22 06:19:20 UTC 2019
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
More information about the arch-commits
mailing list