<short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low . * New upstream release * Bumped Standards-Version to 3.9.3 (no changes)
