../ maxima-5.47.0-r7.log 19-Apr-2024 06:07 681K maxima-5.47.0-r8.log 02-Jul-2024 15:40 681K maxima-5.47.0-r9.log 07-Jul-2025 21:33 652K