Index of /argostmp/pool/main/m/maxima/

../
maxima_5.47.0-5.debian.tar.xz                      24-Oct-2024 16:02             1772232
maxima_5.47.0-5.dsc                                24-Oct-2024 16:02                2136
maxima_5.47.0.orig.tar.gz                          23-May-2024 14:18            47939891