Package: picosat / 965-3

Metadata

Package Version Patches format
picosat 965-3 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 | 26 13 + 13 - 0 !
1 file changed, 13 insertions(+), 13 deletions(-)

 
 propagate hardening options