SHA256 (mma-bin-15.01.tar.gz) = 24b4655de3ebf55b73a69ac167a4631f4c27741b20f9852d8056a6caf3fba66f
SIZE (mma-bin-15.01.tar.gz) = 2350993
SHA256 (mma-pdf-15.01.tar.gz) = ccb24a181a17e0ac76ef882c35229cf76581c64b6f9709e5161f9225792dd3af
SIZE (mma-pdf-15.01.tar.gz) = 1855347
