SHA256 (maxima-5.31.1.tar.gz) = 955895757a7e1a234461168943d43d3a8814c02c566234d6c3cc983e8cc09322
SIZE (maxima-5.31.1.tar.gz) = 27452773