../ fricas-dbgsym_1.3.13-1_sh4.deb 10-Jun-2026 06:03 183552 fricas-graphics-dbgsym_1.3.13-1_sh4.deb 10-Jun-2026 06:03 443628 fricas-graphics_1.3.13-1_sh4.deb 10-Jun-2026 06:03 220032 fricas-hypertex-dbgsym_1.3.13-1_sh4.deb 10-Jun-2026 06:03 350020 fricas-hypertex_1.3.13-1_sh4.deb 10-Jun-2026 06:03 185764 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 72919608