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

../
fricas-dbgsym_1.3.12-2_hppa.deb                    14-Feb-2026 00:03    161K
fricas-graphics-dbgsym_1.3.12-2_hppa.deb           14-Feb-2026 00:03    389K
fricas-graphics_1.3.12-2_hppa.deb                  14-Feb-2026 00:03    209K
fricas-hypertex-dbgsym_1.3.12-2_hppa.deb           14-Feb-2026 00:03    309K
fricas-hypertex_1.3.12-2_hppa.deb                  14-Feb-2026 00:03    177K
fricas_1.3.12-2_hppa.buildinfo                     14-Feb-2026 00:03    9140
fricas_1.3.12-2_hppa.deb                           14-Feb-2026 00:03     60M