Index of /debian-ports/pool-sh4/main/f/fricas/

../
fricas-dbgsym_1.3.13-3_sh4.deb                     08-Oct-2026 00:03              183328
fricas-graphics-dbgsym_1.3.13-3_sh4.deb            08-Oct-2026 00:03              442456
fricas-graphics_1.3.13-3_sh4.deb                   08-Oct-2026 00:03              220448
fricas-hypertex-dbgsym_1.3.13-3_sh4.deb            08-Oct-2026 00:03              348568
fricas-hypertex_1.3.13-3_sh4.deb                   08-Oct-2026 00:03              185900
fricas_1.3.13-3_sh4.buildinfo                      08-Oct-2026 00:03                8981
fricas_1.3.13-3_sh4.deb                            08-Oct-2026 00:03            73888532