btorexp.c | 2 1 + 1 - 0 !
btorsat.c | 2 1 + 1 - 0 !
configure | 8 4 + 4 - 0 !
lingeling/makefile | 49 49 + 0 - 0 !
4 files changed, 55 insertions(+), 6 deletions(-)

 <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)