SHA256 (maxima-5.31.3.tar.gz) = 7512e60e24b13b7adb488a6745c4c339ce4717f50891dbbbc2dcd39b4c4925bd
SIZE (maxima-5.31.3.tar.gz) = 27451207