Publishing details

• Published on 2024-01-16

Changelog

cryptominisat (5.11.15+dfsg1-1build2) noble; urgency=medium

  * No-change rebuild with Python 3.12 as default

 -- Graham Inggs <email address hidden>  Tue, 16 Jan 2024 18:49:08 +0000

Builds

• amd64
• arm64
• armhf
• ppc64el
• s390x

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.15+dfsg1-1build2.debian.tar.xz (5.4 KiB)
• cryptominisat_5.11.15+dfsg1-1build2.dsc (2.4 KiB)
• cryptominisat_5.11.15+dfsg1-1build2_amd64.deb (82.2 KiB)
• cryptominisat_5.11.15+dfsg1-1build2_arm64.deb (78.4 KiB)
• cryptominisat_5.11.15+dfsg1-1build2_armhf.deb (78.1 KiB)
• cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb (84.7 KiB)
• cryptominisat_5.11.15+dfsg1-1build2_s390x.deb (83.8 KiB)
• cryptominisat_5.11.15+dfsg1.orig.tar.xz (463.7 KiB)
• libcryptominisat5-5.11_5.11.15+dfsg1-1build2_amd64.deb (436.4 KiB)
• libcryptominisat5-5.11_5.11.15+dfsg1-1build2_arm64.deb (424.6 KiB)
• libcryptominisat5-5.11_5.11.15+dfsg1-1build2_armhf.deb (500.4 KiB)
• libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ppc64el.deb (488.6 KiB)
• libcryptominisat5-5.11_5.11.15+dfsg1-1build2_s390x.deb (496.3 KiB)
• libcryptominisat5-dev_5.11.15+dfsg1-1build2_amd64.deb (18.6 KiB)
• libcryptominisat5-dev_5.11.15+dfsg1-1build2_arm64.deb (18.6 KiB)
• libcryptominisat5-dev_5.11.15+dfsg1-1build2_armhf.deb (18.6 KiB)
• libcryptominisat5-dev_5.11.15+dfsg1-1build2_ppc64el.deb (18.6 KiB)
• libcryptominisat5-dev_5.11.15+dfsg1-1build2_s390x.deb (18.6 KiB)
• python3-cryptominisat_5.11.15+dfsg1-1build2_amd64.deb (513.5 KiB)
• python3-cryptominisat_5.11.15+dfsg1-1build2_arm64.deb (507.7 KiB)
• python3-cryptominisat_5.11.15+dfsg1-1build2_armhf.deb (511.7 KiB)
• python3-cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb (613.3 KiB)
• python3-cryptominisat_5.11.15+dfsg1-1build2_s390x.deb (580.3 KiB)