MD5 e6388632d91722bb0607914bdabc72f6 maxima-5.9.3.tar.gz 8629022
RMD160 4b00da6406bab222f4a7069c4e8820a9437277f9 maxima-5.9.3.tar.gz 8629022
SHA256 1807e46e12b5968ac70643eee32a3479fc06035613086d85366610440842abb9 maxima-5.9.3.tar.gz 8629022