../ fricas-dbgsym_1.3.11-5_hppa.deb 22-Sep-2025 18:03 183000 fricas-graphics-dbgsym_1.3.11-5_hppa.deb 22-Sep-2025 18:03 447160 fricas-graphics_1.3.11-5_hppa.deb 22-Sep-2025 18:03 212408 fricas-hypertex-dbgsym_1.3.11-5_hppa.deb 22-Sep-2025 18:03 350568 fricas-hypertex_1.3.11-5_hppa.deb 22-Sep-2025 18:03 179484 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 62523108