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

../
maxima_5.47.0-2_x32.buildinfo                      08-Jun-2024 09:03     11K
maxima_5.47.0-2_x32.deb                            08-Jun-2024 09:03      7M
xmaxima_5.47.0-2_x32.deb                           08-Jun-2024 09:03    457K