SHA256 (mma-bin-15.12.tar.gz) = fd49943791c21c3a28df0bf3bd1a286ff4996dc48b85d5d192bc76e5329b674c
SIZE (mma-bin-15.12.tar.gz) = 2679508
SHA256 (mma-pdf-15.12.tar.gz) = 578545fec2aac6f03acb43a94977c47c1c9c5ae4d82445d68db964f446508702
SIZE (mma-pdf-15.12.tar.gz) = 1930879