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

../
maxima_5.47.0-4_sh4.buildinfo                      30-Jun-2024 15:03     11K
maxima_5.47.0-4_sh4.deb                            30-Jun-2024 15:03      6M
xmaxima_5.47.0-4_sh4.deb                           30-Jun-2024 15:03    457K