Date: Tuesday, October 4, 2022 @ 17:13:31
Author: arojas
Revision: 1321123
upgpkg: cryptominisat5 5.11.4-1: Update to 5.11.4
Modified:
cryptominisat5/trunk/PKGBUILD
----------+
PKGBUILD | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2022-10-04 16:44:13 UTC (rev 1321122)
+++ PKGBUILD 2022-10-04 17:13:31 UTC (rev 1321123)
@@ -4,7 +4,7 @@
# need to hack up the pythonpath and get the tests to run
pkgname=cryptominisat5
-pkgver=5.11.2
+pkgver=5.11.4
pkgrel=1
pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
arch=('x86_64')
@@ -16,7 +16,7 @@
# vim for xxd
optdepends=('python: python module')
source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz";)
-md5sums=('39f431243ac8a9db1b3f0fd9045a1dcc')
+md5sums=('a0ace4c264655db6290e71f445f5da43')
# many fancy features requiring makedeps
# python3, m4ri, valgrind
@@ -58,4 +58,6 @@
python3 setup.py install --record files.txt --root="${pkgdir}"
# Remove stray source files
rm -r "$pkgdir"/usr/lib/python*/site-packages/{msvc,oracle,picosat}
+ # Fix man install dir
+ mv "$pkgdir"/usr/{man,share}
}
