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

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