../ fricas-dbgsym_1.3.10-2_hppa.deb 11-Apr-2024 03:03 5M fricas-graphics-dbgsym_1.3.10-2_hppa.deb 11-Apr-2024 03:03 409K fricas-graphics_1.3.10-2_hppa.deb 11-Apr-2024 03:03 203K fricas-hypertex-dbgsym_1.3.10-2_hppa.deb 11-Apr-2024 03:03 347K fricas-hypertex_1.3.10-2_hppa.deb 11-Apr-2024 03:03 172K fricas_1.3.10-2_hppa.buildinfo 11-Apr-2024 03:03 10K fricas_1.3.10-2_hppa.deb 11-Apr-2024 03:03 57M