Package: why3 / 1.3.1-2

Metadata

Package Version Patches format
why3 1.3.1-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
hardening flags | (download)

Makefile.in | 10 7 + 3 - 0 !
1 file changed, 7 insertions(+), 3 deletions(-)

 hardening-flags

===================================================================