../ maxima-5.47.0-r0.log 26-Jun-2023 07:02 1M maxima-5.47.0-r1.log 29-Jun-2023 05:32 1M maxima-5.47.0-r2.log 25-Nov-2023 15:18 1M maxima-5.47.0-r3.log 01-Dec-2023 01:49 1M maxima-5.47.0-r4.log 01-Jan-2024 18:10 1M maxima-5.47.0-r5.log 07-Feb-2024 17:25 1M maxima-5.47.0-r6.log 05-May-2024 05:05 1M maxima-5.47.0-r7.log 05-May-2024 05:05 681K maxima-5.47.0-r8.log 02-Jul-2024 15:38 681K