Package: picosat / 960-1

Metadata

Package Version Patches format
picosat 960-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
debian changes 953 1 | (download)

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