Package: picosat / 936-4

Metadata

Package Version Patches format
picosat 936-4 3.0 (quilt)

Patch series

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

makefile.in | 14 10 + 4 - 0 !
picosat.c | 4 2 + 2 - 0 !
2 files changed, 12 insertions(+), 6 deletions(-)

 upstream changes introduced in version 936-1
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 picosat (936-1) unstable; urgency=low
 .
   * New upstream release (updated Debian-specific patches)
   * Bumped standards version to 3.9.1 (no changes)
 .
 The person named in the Author field signed this changelog entry.
debian changes 936 2 | (download)

makefile.in | 7 6 + 1 - 0 !
1 file changed, 6 insertions(+), 1 deletion(-)

 upstream changes introduced in version 936-2
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 picosat (936-2) unstable; urgency=low
 .
   * Also build library with trace support as libpicosat-trace.so
     (closes: #607943).
 .
 The person named in the Author field signed this changelog entry.