boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low * New upstream release * Bumped Standards-Version to 3.9.3 (no changes) -- Michael Tautschnig <email address hidden> Tue, 16 Oct 2012 13:01:32 +0100