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

../
maxima_5.47.0-4_sh4.buildinfo                      30-Jun-2024 06:03               11338
maxima_5.47.0-4_sh4.deb                            30-Jun-2024 06:03             6044576
xmaxima_5.47.0-4_sh4.deb                           30-Jun-2024 06:03              467952