SHA512 (why3-0.88.0.tar.gz) = 598a59e776b8c11b33695c4626702302113c8c1f05f6b5f5565684b1e879d922c387a95c0885081e594cbc1661b2f536d7d4d832b17a082823ce61cd52216fd7
SHA512 (why3-man.tar.xz) = 8355776ac8a67a56ae7354f8fd40dc5d2057022d1035090a3e38e139fbfe3c258fe3ccbed6e333cb005e66c7b4cdbbf6580e3420170fd08384cc9b36ce5ec2a1
