SHA256 (maxima-5.38.1.tar.gz) = DoZlNqtYR+wEW6ATVw+A82IGymzgel0TmHAQvLMhxtw=
SIZE (maxima-5.38.1.tar.gz) = 38641257
