Publishing details

• Published on 2022-01-03
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * debian/compat: 5 -> 7. (Closes: #965441)
  * debian/rules: Add build-{arch,indep}. (Closes: #999261)

 -- Adrian Bunk <email address hidden>  Mon, 27 Dec 2021 21:53:28 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• boolector SMT solver for bit-vectors and arrays

• boolector-dbgsym debug symbols for boolector

Package files

• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.ddeb (14.2 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_arm64.ddeb (14.5 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_armhf.ddeb (17.5 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_ppc64el.ddeb (14.8 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_riscv64.ddeb (14.3 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.1_s390x.ddeb (14.1 KiB)
• boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz (4.6 KiB)
• boolector_1.5.118.6b56be4.121013-1.1.dsc (2.1 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_amd64.deb (315.9 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_arm64.deb (292.7 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_armhf.deb (279.1 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_ppc64el.deb (344.3 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_riscv64.deb (292.0 KiB)
• boolector_1.5.118.6b56be4.121013-1.1_s390x.deb (316.2 KiB)
• boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz (162.4 KiB)
• boolector_1.5.118.6b56be4.121013.orig.tar.gz (184.3 KiB)