../ fricas-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 15:03 5M fricas-graphics-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 15:03 410K fricas-graphics_1.3.10-2_sh4.deb 11-Apr-2024 15:03 209K fricas-hypertex-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 15:03 342K fricas-hypertex_1.3.10-2_sh4.deb 11-Apr-2024 15:03 176K fricas_1.3.10-2_sh4.buildinfo 11-Apr-2024 15:03 10K fricas_1.3.10-2_sh4.deb 11-Apr-2024 15:03 51M