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

../
fricas-dbgsym_1.3.11-4_sh4.deb                     16-May-2025 12:03    175K
fricas-graphics-dbgsym_1.3.11-4_sh4.deb            16-May-2025 12:03    434K
fricas-graphics_1.3.11-4_sh4.deb                   16-May-2025 12:03    213K
fricas-hypertex-dbgsym_1.3.11-4_sh4.deb            16-May-2025 12:03    341K
fricas-hypertex_1.3.11-4_sh4.deb                   16-May-2025 12:03    178K
fricas_1.3.11-4_sh4.buildinfo                      16-May-2025 12:03    9146
fricas_1.3.11-4_sh4.deb                            16-May-2025 12:03     48M