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

../
fricas-dbgsym_1.3.11-5_hppa.deb                    22-Sep-2025 18:03    179K
fricas-graphics-dbgsym_1.3.11-5_hppa.deb           22-Sep-2025 18:03    437K
fricas-graphics_1.3.11-5_hppa.deb                  22-Sep-2025 18:03    207K
fricas-hypertex-dbgsym_1.3.11-5_hppa.deb           22-Sep-2025 18:03    342K
fricas-hypertex_1.3.11-5_hppa.deb                  22-Sep-2025 18:03    175K
fricas_1.3.11-5_hppa.buildinfo                     22-Sep-2025 18:03    9208
fricas_1.3.11-5_hppa.deb                           22-Sep-2025 18:03     60M