MD5 (maxima-5.13.0.tar.gz) = 7317ba22fc485554b15aceb6bc22542b
SHA256 (maxima-5.13.0.tar.gz) = 9625e09785f88f738faf40ad64889acd17328e043c39ef5ad56f3172d76af187
SIZE (maxima-5.13.0.tar.gz) = 19216173
