SHA512 (mlton-20180207.src.tgz) = 3599159950e857d257abce92abf5c548dd9c0b0cdc4ba0d7cdf9badb5d997f73386cd1ff79f563221b394dd831cb344e287927f90683b0715678edb3ca0ae15a
SHA512 (mlton-bootstrap-riscv64-redhat-linux.tar.gz) = 5dce89100693e4a2a78852fba85ab3a1c43da150e9d10debe1fb5a6fe7530f1c2c19fd85b096f83b72ba7044f807dd65326b2cbb2d7cf04b161e3c0b46c08d76