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

../
fricas-dbgsym_1.3.13-3_hppa.deb                    07-Oct-2026 18:03    162K
fricas-graphics-dbgsym_1.3.13-3_hppa.deb           07-Oct-2026 18:03    392K
fricas-graphics_1.3.13-3_hppa.deb                  07-Oct-2026 18:03    209K
fricas-hypertex-dbgsym_1.3.13-3_hppa.deb           07-Oct-2026 18:03    312K
fricas-hypertex_1.3.13-3_hppa.deb                  07-Oct-2026 18:03    178K
fricas_1.3.13-3_hppa.buildinfo                     07-Oct-2026 18:03    9011
fricas_1.3.13-3_hppa.deb                           07-Oct-2026 18:03     67M