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 <vagrant@debian.org>  Fri, 11 Nov 2022 20:56:12 -0800

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 <vagrant@reproducible-builds.org>  Thu, 10 Nov 2022 13:35:53 -0800

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 <bunk@debian.org>  Mon, 27 Dec 2021 21:53:28 +0200

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

  * New upstream release
  * Bumped Standards-Version to 3.9.3 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Tue, 16 Oct 2012 13:01:32 +0100

boolector (1.4.ffc2089.100608-1) unstable; urgency=low

  * Initial release (Closes: #584542)

 -- Michael Tautschnig <mt@debian.org>  Wed, 09 Jun 2010 00:16:01 +0200