Publishing details

• Removal requested on 2020-12-29.
• Published on 2019-04-18
• Copied from ubuntu bionic in Primary Archive for Ubuntu

Changelog

boolector (1.5.118.6b56be4.121013-1build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

 -- Balint Reczey <email address hidden>  Tue, 03 Apr 2018 12:15:32 +0000

Builds

Package files

• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_amd64.ddeb (12.6 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_arm64.ddeb (12.8 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_armhf.ddeb (15.7 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_i386.ddeb (13.5 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_ppc64el.ddeb (12.8 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_riscv64.ddeb (12.2 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1build1_s390x.ddeb (12.6 KiB)
• boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz (4.7 KiB)
• boolector_1.5.118.6b56be4.121013-1build1.dsc (2.2 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_amd64.deb (295.4 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_arm64.deb (241.2 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_armhf.deb (250.3 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_i386.deb (303.5 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_ppc64el.deb (280.4 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_riscv64.deb (269.0 KiB)
• boolector_1.5.118.6b56be4.121013-1build1_s390x.deb (267.9 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)