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

../
fricas-dbgsym_1.3.11-4_hppa.deb                    14-May-2025 18:03              184500
fricas-graphics-dbgsym_1.3.11-4_hppa.deb           14-May-2025 18:03              443880
fricas-graphics_1.3.11-4_hppa.deb                  14-May-2025 18:03              211516
fricas-hypertex-dbgsym_1.3.11-4_hppa.deb           14-May-2025 18:03              352760
fricas-hypertex_1.3.11-4_hppa.deb                  14-May-2025 18:03              178476
fricas_1.3.11-4_hppa.buildinfo                     14-May-2025 18:03                9215
fricas_1.3.11-4_hppa.deb                           14-May-2025 18:03            60230904