TIMESTAMP = 1492352236
SHA256 (mma-bin-16.06.tar.gz) = 9c238e796ad4e2ded8d1a5e6faaa7f5aa9fbcf00dd66ec1d6012836c01db8fbc
SIZE (mma-bin-16.06.tar.gz) = 2673695
SHA256 (mma-pdf-16.06.tar.gz) = 93b9e5b29430d02ec9e64c9cfb3e04d23aec92318aa6d98aec4d9bec073a4a1e
SIZE (mma-pdf-16.06.tar.gz) = 1976739