Publishing details

• Published on 2023-10-23
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium

  * Non-maintainer upload.
  * mkconfig: Do not embed architecture of running kernel.
    (Closes: #1023886)

 -- Vagrant Cascadian <email address hidden>  Fri, 11 Nov 2022 20:56:12 -0800

Builds

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.3_amd64.ddeb (13.5 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.3_arm64.ddeb (13.3 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.3_armhf.ddeb (16.9 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.3_ppc64el.ddeb (14.1 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.3_riscv64.ddeb (13.1 KiB)
• boolector-dbgsym_1.5.118.6b56be4.121013-1.3_s390x.ddeb (13.5 KiB)
• boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz (5.4 KiB)
• boolector_1.5.118.6b56be4.121013-1.3.dsc (1.7 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_amd64.deb (319.4 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_arm64.deb (297.6 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_armhf.deb (283.2 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb (346.1 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_riscv64.deb (294.4 KiB)
• boolector_1.5.118.6b56be4.121013-1.3_s390x.deb (322.6 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)