../ fricas-dbgsym_1.3.12-2_sh4.deb 14-Feb-2026 06:03 183744 fricas-graphics-dbgsym_1.3.12-2_sh4.deb 14-Feb-2026 06:03 443684 fricas-graphics_1.3.12-2_sh4.deb 14-Feb-2026 06:03 218644 fricas-hypertex-dbgsym_1.3.12-2_sh4.deb 14-Feb-2026 06:03 350056 fricas-hypertex_1.3.12-2_sh4.deb 14-Feb-2026 06:03 184360 fricas_1.3.12-2_sh4.buildinfo 14-Feb-2026 06:03 9193 fricas_1.3.12-2_sh4.deb 14-Feb-2026 06:03 61135308