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

Antonio Rojas arojas at archlinux.org
Sat Sep 5 22:15:24 UTC 2020


    Date: Saturday, September 5, 2020 @ 22:15:24
  Author: arojas
Revision: 699205

Update to 5.8.0

Modified:
  cryptominisat5/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-09-05 22:09:48 UTC (rev 699204)
+++ PKGBUILD	2020-09-05 22:15:24 UTC (rev 699205)
@@ -4,19 +4,19 @@
 # need to hack up the pythonpath and get the tests to run
 
 pkgname=cryptominisat5
-pkgver=5.6.8
-pkgrel=6
+pkgver=5.8.0
+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/"
 url="https://github.com/msoos/cryptominisat/"
 license=('MIT')
-depends=('zlib' 'gcc-libs' 'boost-libs' 'intel-tbb')
+depends=('zlib' 'gcc-libs' 'boost-libs' 'tbb')
 makedepends=('python' 'boost' 'cmake' 'vim' 'help2man')
 # vim for xxd
 optdepends=('python: python module')
 source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
-md5sums=('ca1bf853e568c19968daa5464ab86843')
+md5sums=('05bdde77aa78c983849437e93b39bd6a')
 
 # many fancy features requiring makedeps
 # intel-tbb, python3, m4ri, libmysqlclient, valgrind


More information about the arch-commits mailing list