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

../
fricas-dbgsym_1.3.13-1_sh4.deb                     10-Jun-2026 06:03    179K
fricas-graphics-dbgsym_1.3.13-1_sh4.deb            10-Jun-2026 06:03    433K
fricas-graphics_1.3.13-1_sh4.deb                   10-Jun-2026 06:03    215K
fricas-hypertex-dbgsym_1.3.13-1_sh4.deb            10-Jun-2026 06:03    342K
fricas-hypertex_1.3.13-1_sh4.deb                   10-Jun-2026 06:03    181K
fricas_1.3.13-1_sh4.buildinfo                      10-Jun-2026 06:03    9092
fricas_1.3.13-1_sh4.deb                            10-Jun-2026 06:03     70M