Publishing details

• Removal requested on 2022-07-23.
• Published on 2021-04-23
• Copied from ubuntu hirsute in Primary Archive for Ubuntu

Changelog

cryptominisat (5.8.0+dfsg1-1build2) hirsute; urgency=medium

  * No-change rebuild for boost soname change.

 -- Matthias Klose <email address hidden>  Sat, 12 Dec 2020 13:05:02 +0100

Builds

Package files

• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_amd64.ddeb (1.1 MiB)
• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_arm64.ddeb (1.1 MiB)
• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_armhf.ddeb (1.1 MiB)
• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_ppc64el.ddeb (1.2 MiB)
• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_riscv64.ddeb (863.7 KiB)
• cryptominisat-dbgsym_5.8.0+dfsg1-1build2_s390x.ddeb (1.1 MiB)
• cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz (6.1 KiB)
• cryptominisat_5.8.0+dfsg1-1build2.dsc (2.4 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_amd64.deb (85.6 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_arm64.deb (79.6 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_armhf.deb (79.0 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb (91.8 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb (84.5 KiB)
• cryptominisat_5.8.0+dfsg1-1build2_s390x.deb (82.6 KiB)
• cryptominisat_5.8.0+dfsg1.orig.tar.xz (440.7 KiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_amd64.ddeb (5.6 MiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_arm64.ddeb (5.4 MiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_armhf.ddeb (5.4 MiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_ppc64el.ddeb (5.8 MiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_riscv64.ddeb (4.1 MiB)
• libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1build2_s390x.ddeb (6.2 MiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb (406.2 KiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_arm64.deb (369.4 KiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_armhf.deb (374.6 KiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_ppc64el.deb (478.4 KiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_riscv64.deb (409.6 KiB)
• libcryptominisat5-5.8_5.8.0+dfsg1-1build2_s390x.deb (440.4 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64.deb (12.6 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_arm64.deb (12.6 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_armhf.deb (12.6 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_ppc64el.deb (12.6 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_riscv64.deb (12.6 KiB)
• libcryptominisat5-dev_5.8.0+dfsg1-1build2_s390x.deb (12.6 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_amd64.ddeb (82.2 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_arm64.ddeb (81.8 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_armhf.ddeb (80.6 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_ppc64el.ddeb (82.8 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_riscv64.ddeb (73.8 KiB)
• python3-cryptominisat-dbgsym_5.8.0+dfsg1-1build2_s390x.ddeb (91.1 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_amd64.deb (17.9 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_arm64.deb (17.4 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_armhf.deb (16.7 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb (18.6 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb (17.4 KiB)
• python3-cryptominisat_5.8.0+dfsg1-1build2_s390x.deb (18.3 KiB)