2 lines
315 B
Text
2 lines
315 B
Text
SHA512 (why3-man.tar.xz) = 8355776ac8a67a56ae7354f8fd40dc5d2057022d1035090a3e38e139fbfe3c258fe3ccbed6e333cb005e66c7b4cdbbf6580e3420170fd08384cc9b36ce5ec2a1
|
|
SHA512 (why3-0.88.3.tar.gz) = d4775a8d1e6e689d1aa83e683b2d7688d11b914616de88a9f2b02cb7dad802034c1c6fe68eaa1c2257dae0732049eadd700b8e17f24ecc1dcbf11631e39739de
|