TIMESTAMP = 1471071743
SHA256 (mmix-20160804.tgz) = fad8e64fddf2d75cbcd5080616b47e11a2d292a428cdb0c12e579be680ecdee9
SIZE (mmix-20160804.tgz) = 308410
