SHA256 (maxima-5.23.2.tar.gz) = 7bea62518135caf9ee9afccc1fb9fbc525c9b6bfb8d0614b5bbe4a51e9a1ce74
SIZE (maxima-5.23.2.tar.gz) = 21963705