MD5 (maxima-5.9.3.tar.gz) = e6388632d91722bb0607914bdabc72f6 SHA256 (maxima-5.9.3.tar.gz) = 1807e46e12b5968ac70643eee32a3479fc06035613086d85366610440842abb9 SIZE (maxima-5.9.3.tar.gz) = 8629022