makefile.in | 16 13 3 - 0 !
picosat.c | 6 3 3 - 0 !
2 files changed, 16 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.
 .
 picosat (953-1) unstable; urgency=low
 .
   * Bumped standards version to 3.9.4 (no changes)
   * New upstream version (closes: #694592)
   * Converted debian/copyright to DEP-5