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

../
fricas-dbgsym_1.3.13-1_hppa.deb                    09-Jun-2026 18:03    161K
fricas-graphics-dbgsym_1.3.13-1_hppa.deb           09-Jun-2026 18:03    389K
fricas-graphics_1.3.13-1_hppa.deb                  09-Jun-2026 18:03    211K
fricas-hypertex-dbgsym_1.3.13-1_hppa.deb           09-Jun-2026 18:03    308K
fricas-hypertex_1.3.13-1_hppa.deb                  09-Jun-2026 18:03    179K
fricas_1.3.13-1_hppa.buildinfo                     09-Jun-2026 18:03    9121
fricas_1.3.13-1_hppa.deb                           09-Jun-2026 18:03     67M