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

../
fricas-dbgsym_1.3.11-3_x32.deb                     27-Apr-2025 15:03    176K
fricas-graphics-dbgsym_1.3.11-3_x32.deb            27-Apr-2025 15:03    427K
fricas-graphics_1.3.11-3_x32.deb                   27-Apr-2025 15:03    213K
fricas-hypertex-dbgsym_1.3.11-3_x32.deb            27-Apr-2025 15:03    340K
fricas-hypertex_1.3.11-3_x32.deb                   27-Apr-2025 15:03    183K
fricas_1.3.11-3_x32.buildinfo                      27-Apr-2025 15:03    9452
fricas_1.3.11-3_x32.deb                            27-Apr-2025 15:03     53M