../ maxima-5.47.0-r7.log.gz 29-Jul-2024 19:24 43K maxima-5.47.0-r8.log.gz 29-Jul-2024 19:24 43K maxima-5.47.0-r9.log 07-Jul-2025 21:33 652K