MD5 (miracl/5.3/miracl.zip) = 7ef68202b855ce90da8a4e84b5f51262
SHA256 (miracl/5.3/miracl.zip) = 8c806f9ee60dbca52af93dd9c2e05a645022e1b5a6f4a367efbc6c533684fe15
SIZE (miracl/5.3/miracl.zip) = 1528771