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

../
fricas-dbgsym_1.3.13-3_x32.deb                     07-Oct-2026 00:03              165184
fricas-graphics-dbgsym_1.3.13-3_x32.deb            07-Oct-2026 00:03              393508
fricas-graphics_1.3.13-3_x32.deb                   07-Oct-2026 00:03              224688
fricas-hypertex-dbgsym_1.3.13-3_x32.deb            07-Oct-2026 00:03              316644
fricas-hypertex_1.3.13-3_x32.deb                   07-Oct-2026 00:03              193236
fricas_1.3.13-3_x32.buildinfo                      07-Oct-2026 00:03                9327
fricas_1.3.13-3_x32.deb                            07-Oct-2026 00:03            71394596