TIMESTAMP = 1512807960
SHA256 (maxima-5.41.0.tar.gz) = daf8254600f4c7d9f079a0084178aaf036bd97a63b1e77b945f4120d7e401674
SIZE (maxima-5.41.0.tar.gz) = 41540226