Index of /debian-ports/pool-x32/main/f/fricas/

../
fricas-dbgsym_1.3.12-2_x32.deb                     13-Feb-2026 18:03    159K
fricas-graphics-dbgsym_1.3.12-2_x32.deb            13-Feb-2026 18:03    381K
fricas-graphics_1.3.12-2_x32.deb                   13-Feb-2026 18:03    214K
fricas-hypertex-dbgsym_1.3.12-2_x32.deb            13-Feb-2026 18:03    308K
fricas-hypertex_1.3.12-2_x32.deb                   13-Feb-2026 18:03    185K
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     54M