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

../
fricas-dbgsym_1.3.11-2_hppa.deb                    29-Jul-2024 00:03             5137856
fricas-graphics-dbgsym_1.3.11-2_hppa.deb           29-Jul-2024 00:03              442796
fricas-graphics_1.3.11-2_hppa.deb                  29-Jul-2024 00:03              212268
fricas-hypertex-dbgsym_1.3.11-2_hppa.deb           29-Jul-2024 00:03              352696
fricas-hypertex_1.3.11-2_hppa.deb                  29-Jul-2024 00:03              178724
fricas_1.3.11-2_hppa.buildinfo                     29-Jul-2024 00:03               12601
fricas_1.3.11-2_hppa.deb                           29-Jul-2024 00:03            53405900