Package: picosat / 913-4

Metadata

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

Patch series

view the series file
Patch File delta Description
debian changes 913 2 | (download)

configure | 2 1 + 1 - 0 !
picosat.c | 4 2 + 2 - 0 !
2 files changed, 3 insertions(+), 3 deletions(-)

 upstream changes introduced in version 913-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 (913-2) unstable; urgency=low
 .
   * Switch to dpkg-source 3.0 (quilt) format
   * Bumped standards version to 3.8.4 (no changes)
   * Build additional picosat.trace to have a solver with proof/core support
     available (closes: #567754)
 .
 The person named in the Author field signed this changelog entry.
debian changes 913 4 | (download)

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

 upstream changes introduced in version 913-4
 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 (913-4) unstable; urgency=low
 .
   * Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
     the necessary patch (closes: #576364).
   * Cleanup debian/rules and add support for building dynamic libraries.
 .
 The person named in the Author field signed this changelog entry.