Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages /
cryptominisat
Commits:
bf42e4c5 by Antonio Rojas at 2026-09-22T08:20:09+02:00
upgpkg: 5.16.0-1: Upstream update
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = cryptominisat
pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver
- pkgver = 5.15.0
- pkgrel = 2
+ pkgver = 5.16.0
+ pkgrel = 1
url = https://github.com/msoos/cryptominisat/
arch = x86_64
license = MIT
@@ -19,11 +19,11 @@ pkgbase = cryptominisat
depends = zlib
optdepends = python: python module
options = !lto
- source = git+https://github.com/msoos/cryptominisat#tag=release/v5.15.0
+ source = git+https://github.com/msoos/cryptominisat#tag=release/v5.16.0
source =
git+https://github.com/meelgroup/cadiback#commit=47a6d821085ef8cb033241659824beafeb798cff
source =
git+https://github.com/meelgroup/cadical#commit=818c9562f114b315a9246ced943b66b60b38e8fb
source = python-build-cmake.patch
- sha256sums =
8983f3c1a9255a7d6fac0ef7f34bfa8e9fc4e70c138faf3a3235281272a97623
+ sha256sums =
a482aae264a8b439f29d9b5f0120c9b79dba1b2059693765ef27cd0d15c0e099
sha256sums =
9c2eeb42b00c3e737e8dbdda54d97c7d8673fd2732de07569646f4d7c932723e
sha256sums =
9719c1de5f753daa99f1bac8a13c611d61ba19dd7edf0dae6fa2fdff47a0b337
sha256sums =
aeedc706439cdeb162bedac5dbe90d1a639fa3d378ee833cb59565bc2b97d418
=====================================
PKGBUILD
=====================================
@@ -2,8 +2,8 @@
# Contributor: Kyle Keen <[email protected]>
pkgname=cryptominisat
-pkgver=5.15.0
-pkgrel=2
+pkgver=5.16.0
+pkgrel=1
_cadiback=47a6d821085ef8cb033241659824beafeb798cff
_cadical=818c9562f114b315a9246ced943b66b60b38e8fb
pkgdesc='A modern, multi-threaded, feature-rich, simplifying SAT solver'
@@ -27,7 +27,7 @@
source=(git+https://github.com/msoos/cryptominisat#tag=release/v$pkgver
git+https://github.com/meelgroup/cadiback#commit=$_cadiback
git+https://github.com/meelgroup/cadical#commit=$_cadical
python-build-cmake.patch)
-sha256sums=('8983f3c1a9255a7d6fac0ef7f34bfa8e9fc4e70c138faf3a3235281272a97623'
+sha256sums=('a482aae264a8b439f29d9b5f0120c9b79dba1b2059693765ef27cd0d15c0e099'
'9c2eeb42b00c3e737e8dbdda54d97c7d8673fd2732de07569646f4d7c932723e'
'9719c1de5f753daa99f1bac8a13c611d61ba19dd7edf0dae6fa2fdff47a0b337'
'aeedc706439cdeb162bedac5dbe90d1a639fa3d378ee833cb59565bc2b97d418')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat/-/commit/bf42e4c546b3a23cba1bb3c85803af41819813e0
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat/-/commit/bf42e4c546b3a23cba1bb3c85803af41819813e0
You're receiving this email because of your account on gitlab.archlinux.org.
Manage all notifications: https://gitlab.archlinux.org/-/profile/notifications
| Help: https://gitlab.archlinux.org/help
