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

../
fricas-dbgsym_1.3.11-2_sh4.deb                     29-Jul-2024 18:03             5081732
fricas-graphics-dbgsym_1.3.11-2_sh4.deb            29-Jul-2024 18:03              445180
fricas-graphics_1.3.11-2_sh4.deb                   29-Jul-2024 18:03              219340
fricas-hypertex-dbgsym_1.3.11-2_sh4.deb            29-Jul-2024 18:03              347864
fricas-hypertex_1.3.11-2_sh4.deb                   29-Jul-2024 18:03              182448
fricas_1.3.11-2_sh4.buildinfo                      29-Jul-2024 18:03               12697
fricas_1.3.11-2_sh4.deb                            29-Jul-2024 18:03            52008772