../ fricas-dbgsym_1.3.12-2_x32.deb 13-Feb-2026 18:03 163288 fricas-graphics-dbgsym_1.3.12-2_x32.deb 13-Feb-2026 18:03 390624 fricas-graphics_1.3.12-2_x32.deb 13-Feb-2026 18:03 219220 fricas-hypertex-dbgsym_1.3.12-2_x32.deb 13-Feb-2026 18:03 315332 fricas-hypertex_1.3.12-2_x32.deb 13-Feb-2026 18:03 189144 fricas_1.3.12-2_x32.buildinfo 13-Feb-2026 18:03 9441 fricas_1.3.12-2_x32.deb 13-Feb-2026 18:03 56303760