Publishing details

• Removal requested on 2022-07-23.
• Published on 2020-10-23
• Copied from ubuntu focal in Primary Archive for Ubuntu

Changelog

minisat2 (1:2.2.1-5build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:51 +0100

Builds

Package files

• minisat-dbgsym_2.2.1-5build2_amd64.ddeb (243.0 KiB)
• minisat-dbgsym_2.2.1-5build2_arm64.ddeb (240.0 KiB)
• minisat-dbgsym_2.2.1-5build2_armhf.ddeb (233.3 KiB)
• minisat-dbgsym_2.2.1-5build2_ppc64el.ddeb (246.9 KiB)
• minisat-dbgsym_2.2.1-5build2_riscv64.ddeb (200.9 KiB)
• minisat-dbgsym_2.2.1-5build2_s390x.ddeb (247.0 KiB)
• minisat2_2.2.1-5build2.debian.tar.xz (9.3 KiB)
• minisat2_2.2.1-5build2.dsc (1.9 KiB)
• minisat2_2.2.1-5build2_amd64.deb (2.0 KiB)
• minisat2_2.2.1-5build2_arm64.deb (2.0 KiB)
• minisat2_2.2.1-5build2_armhf.deb (2.0 KiB)
• minisat2_2.2.1-5build2_ppc64el.deb (2.0 KiB)
• minisat2_2.2.1-5build2_riscv64.deb (2.0 KiB)
• minisat2_2.2.1-5build2_s390x.deb (2.0 KiB)
• minisat2_2.2.1.orig.tar.gz (43.2 KiB)
• minisat_2.2.1-5build2_amd64.deb (80.0 KiB)
• minisat_2.2.1-5build2_arm64.deb (77.2 KiB)
• minisat_2.2.1-5build2_armhf.deb (73.5 KiB)
• minisat_2.2.1-5build2_ppc64el.deb (89.2 KiB)
• minisat_2.2.1-5build2_riscv64.deb (144.6 KiB)
• minisat_2.2.1-5build2_s390x.deb (76.2 KiB)