../ fricas-dbgsym_1.3.13-3_alpha.deb 07-Oct-2026 12:03 161668 fricas-graphics-dbgsym_1.3.13-3_alpha.deb 07-Oct-2026 12:03 392660 fricas-graphics_1.3.13-3_alpha.deb 07-Oct-2026 12:03 220764 fricas-hypertex-dbgsym_1.3.13-3_alpha.deb 07-Oct-2026 12:03 315540 fricas-hypertex_1.3.13-3_alpha.deb 07-Oct-2026 12:03 190540 fricas_1.3.13-3_alpha.buildinfo 07-Oct-2026 12:03 8989 fricas_1.3.13-3_alpha.deb 07-Oct-2026 12:03 62730272