SHA256 (maxima-5.37.3.tar.gz) = 8bd5dcd672f37ea752385475fc64f8c87dfa29bbe34766cbcb87b1f63dfb5934 SIZE (maxima-5.37.3.tar.gz) = 29964644