MD5 (miracl/5.23_3/miracl.zip) = 106330e8dad86d89d0630bb7c65f0d4f
SHA256 (miracl/5.23_3/miracl.zip) = 286f09904b0b9c67903dca6b94b01a5c3a0f9ca27a2da186f28993633833b918
SIZE (miracl/5.23_3/miracl.zip) = 1520155
