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

../
fricas-dbgsym_1.3.13-1_x32.deb                     08-Jun-2026 18:03              162916
fricas-graphics-dbgsym_1.3.13-1_x32.deb            08-Jun-2026 18:03              390444
fricas-graphics_1.3.13-1_x32.deb                   08-Jun-2026 18:03              220580
fricas-hypertex-dbgsym_1.3.13-1_x32.deb            08-Jun-2026 18:03              315192
fricas-hypertex_1.3.13-1_x32.deb                   08-Jun-2026 18:03              190360
fricas_1.3.13-1_x32.buildinfo                      08-Jun-2026 18:03                9419
fricas_1.3.13-1_x32.deb                            08-Jun-2026 18:03            70222464