SHA512 (why3-man.tar.xz) = 8355776ac8a67a56ae7354f8fd40dc5d2057022d1035090a3e38e139fbfe3c258fe3ccbed6e333cb005e66c7b4cdbbf6580e3420170fd08384cc9b36ce5ec2a1
SHA512 (why3-1.1.1.tar.gz) = 9d037360a53a1e0902f7fcdff643d1346a6d95f06dbba3996af00044d88da67495770eacb4090a8b05e76ff184e90ac76a3b077aac42a26388de2bf8e2bffbc7
