Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / cryptominisat5
Commits: 78b0789e by Antonio Rojas at 2023-08-27T00:26:04+02:00 upgpkg: 5.11.12-1: Update to 5.11.12 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -2,7 +2,7 @@ # Contributor: Kyle Keen <[email protected]> pkgname=cryptominisat5 -pkgver=5.11.11 +pkgver=5.11.12 pkgrel=1 pkgdesc='A modern, multi-threaded, feature-rich, simplifying SAT solver' arch=(x86_64) @@ -12,7 +12,7 @@ depends=(zlib gcc-libs boost-libs sqlite m4ri) makedepends=(boost cmake vim help2man python-build python-installer python-setuptools python-wheel python-toml) optdepends=('python: python module') source=(https://github.com/msoos/cryptominisat/archive/$pkgver/$pkgname-$pkgver.tar.gz) -sha256sums=('20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc') +sha256sums=('d59bdaf06d71a14362535a58fcbe1ed53e5302de2aa64394253ccfae26db5b46') prepare() { sed -e 's|, \"toml\", \"pathlib\"||' -i cryptominisat-$pkgver/pyproject.toml View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat5/-/commit/78b0789e61ac34e4bd9a3be5af8ffb6608320d17 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat5/-/commit/78b0789e61ac34e4bd9a3be5af8ffb6608320d17 You're receiving this email because of your account on gitlab.archlinux.org.
