../ fricas-dbgsym_1.3.13-1_alpha.deb 09-Jun-2026 06:03 161236 fricas-graphics-dbgsym_1.3.13-1_alpha.deb 09-Jun-2026 06:03 390716 fricas-graphics_1.3.13-1_alpha.deb 09-Jun-2026 06:03 220972 fricas-hypertex-dbgsym_1.3.13-1_alpha.deb 09-Jun-2026 06:03 314824 fricas-hypertex_1.3.13-1_alpha.deb 09-Jun-2026 06:03 190572 fricas_1.3.13-1_alpha.buildinfo 09-Jun-2026 06:03 9133 fricas_1.3.13-1_alpha.deb 09-Jun-2026 06:03 62306940