Name Last modified Size
Parent Directory -
fricas-dbgsym_1.3.13-3_x32.deb 2026-10-07 02:03 161K
fricas-graphics-dbgsym_1.3.13-3_x32.deb 2026-10-07 02:03 384K
fricas-graphics_1.3.13-3_x32.deb 2026-10-07 02:03 219K
fricas-hypertex-dbgsym_1.3.13-3_x32.deb 2026-10-07 02:03 309K
fricas-hypertex_1.3.13-3_x32.deb 2026-10-07 02:03 189K
fricas_1.3.13-3_x32.buildinfo 2026-10-07 02:03 9.1K
fricas_1.3.13-3_x32.deb 2026-10-07 02:03 68M