Package: why3 / 0.88.3-3

Metadata

Package Version Patches format
why3 0.88.3-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
getopt_long return value | (download)

src/server/options.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix unportable assumptions in getopt_long() handling
 Don't store an int in a char and expect comparison to -1 to work across
 architectures.