Package: why3 / 1.8.2-1

Metadata

Package Version Patches format
why3 1.8.2-1 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

===================================================================
Avoid Unicode characters not supported by LaTeX.patch | (download)

doc/foreword.rst | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 avoid unicode characters not supported by latex