Publishing details

Published on 2022-12-09

Changelog

cryptominisat (5.11.4+dfsg1-2build1) lunar; urgency=medium

  * No-change rebuild with Python 3.11 as default

 -- Graham Inggs <email address hidden>  Fri, 09 Dec 2022 13:53:58 +0000

Available diffs

diff from 5.11.4+dfsg1-2 (in Debian) to 5.11.4+dfsg1-2build1 (337 bytes)

Builds

Built packages

cryptominisat SAT solver command line interface

libcryptominisat5-5.11 SAT solver library

libcryptominisat5-dev development files for the CryptoMiniSat SAT solver

python3-cryptominisat Python bindings for the CryptoMiniSat SAT solver (Python 3)

Package files

cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz (5.3 KiB)
cryptominisat_5.11.4+dfsg1-2build1.dsc (2.4 KiB)
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb (78.8 KiB)
cryptominisat_5.11.4+dfsg1-2build1_arm64.deb (74.2 KiB)
cryptominisat_5.11.4+dfsg1-2build1_armhf.deb (73.7 KiB)
cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb (80.5 KiB)
cryptominisat_5.11.4+dfsg1-2build1_s390x.deb (75.6 KiB)
cryptominisat_5.11.4+dfsg1.orig.tar.xz (517.8 KiB)
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb (431.5 KiB)
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm64.deb (416.1 KiB)
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_armhf.deb (494.6 KiB)
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc64el.deb (481.0 KiB)
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s390x.deb (421.2 KiB)
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb (18.0 KiB)
libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm64.deb (18.0 KiB)
libcryptominisat5-dev_5.11.4+dfsg1-2build1_armhf.deb (18.0 KiB)
libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc64el.deb (18.0 KiB)
libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390x.deb (18.0 KiB)
python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb (517.8 KiB)
python3-cryptominisat_5.11.4+dfsg1-2build1_arm64.deb (507.1 KiB)
python3-cryptominisat_5.11.4+dfsg1-2build1_armhf.deb (514.8 KiB)
python3-cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb (619.5 KiB)
python3-cryptominisat_5.11.4+dfsg1-2build1_s390x.deb (505.4 KiB)