Package: cadical / 1.5.3-2

Metadata

Package Version Patches format
cadical 1.5.3-2 3.0 (quilt)

Patch series

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

configure | 2 2 0 - 0 !
makefile.in | 5 3 2 - 0 !
2 files changed, 5 insertions( ), 2 deletions(-)

 
 add support for setting ldflags (for hardening)