MD5 (miracl/5.3.2/miracl.zip) = 4e7b8b3365d299239af69a70e25410b9
SHA256 (miracl/5.3.2/miracl.zip) = c4fb4cf32090cce202cf0ea152da6b2e7f8633da64dd41b0d5833d900f8c5462
SIZE (miracl/5.3.2/miracl.zip) = 1643702