boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low * New upstream release * Bumped Standards-Version to 3.9.3 (no changes) -- Michael Tautschnig Tue, 16 Oct 2012 13:01:32 +0100 boolector (1.4.ffc2089.100608-1) unstable; urgency=low * Initial release (Closes: #584542) -- Michael Tautschnig Wed, 09 Jun 2010 00:16:01 +0200