MD5 (maxima-5.20.1.tar.gz) = cec78b96cc453e470871063fc16cd52f
SHA256 (maxima-5.20.1.tar.gz) = cc2430ad6b895fb730ee2a7b8df4852c2b6d09a5a8bb715bdba783982c470bd9
SIZE (maxima-5.20.1.tar.gz) = 20655669