Ubuntu
boolector package

boolector 1.5.118.6b56be4.121013-1.2 source package in Ubuntu

Changelog

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

  * Non-maintainer upload.

  [ Chris Lamb ]
  * Do not embed kernel version and hostname. Use SOURCE_DATE_EPOCH for
    timestamp.  (Closes: #8311031)

  [ Vagrant Cascadian ]
  * debian/rules: Use C.UTF-8 locale for building to ensure reproducible builds.

 -- Vagrant Cascadian <email address hidden>  Thu, 10 Nov 2022 13:35:53 -0800

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
boolector_1.5.118.6b56be4.121013-1.2.dsc 1.7 KiB 6391207c493f7df86c9760b3d9138aec357ca74814eb6b7c08f39698be79f3b7
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.2.debian.tar.xz 5.2 KiB 20bc31b6daf667035f6dfa6298fa5ca8b6a8469482937a12e7259976b32f30f3

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