Index of /debian-ports/pool-x32/main/m/maxima/

../
maxima_5.47.0-5_x32.buildinfo                      24-Oct-2024 18:03               11490
maxima_5.47.0-5_x32.deb                            24-Oct-2024 18:03             7010688
xmaxima_5.47.0-5_x32.deb                           24-Oct-2024 18:03              467996