Package: picosat / 965-1

Metadata

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

Patch series

view the series file
Patch File delta Description
dynamic_lib.patch | (download)

makefile.in | 16 13 + 3 - 0 !
1 file changed, 13 insertions(+), 3 deletions(-)

 create dynamic library
verbose_output.patch | (download)

picosat.c | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 more verbose output
hardening.patch | (download)

makefile.in | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 propagate hardening options