TIMESTAMP = 1548327238
SHA256 (maxima-5.42.2.tar.gz) = 167e11d6513a65c829a35f24d4ba539bcd0a82fc3dc7a6721e4f9f118c67b64d
SIZE (maxima-5.42.2.tar.gz) = 41840181