chrisz b438efbd00 Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00

3 lines
125 B
Plaintext

SHA256 (frama-c-18.0-Argon.tar.gz) = QrElQMYI879swlimvO3t88WWWJ5Yv9/Gv0c6BauYCCk=
SIZE (frama-c-18.0-Argon.tar.gz) = 5358960