Ubuntu
boolector package

boolector 1.5.118.6b56be4.121013-1.1 source package in Ubuntu

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

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Kinetic release universe science
Jammy release universe science

Downloads

File Size SHA-256 Checksum
boolector_1.5.118.6b56be4.121013-1.1.dsc 2.1 KiB bf2f37a125373101193db2b574f261a2746a5f4a95d4aed82a4e69b9e4beeb51
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz 162.4 KiB 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184.3 KiB e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz 4.6 KiB 46b9da2978815cdaa340ac58101aee84b2595a5ed6641ee2a324b3e1176ea65c

No changes file available.

Binary packages built by this source

boolector: SMT solver for bit-vectors and arrays

 Boolector is an efficient SMT solver for the quantifier-free theory of
 bit-vectors in combination with the quantifier-free extensional theory of
 arrays.

boolector-dbgsym: debug symbols for boolector