../ fricas-dbgsym_1.3.13-3_hppa.deb 07-Oct-2026 18:03 166284 fricas-graphics-dbgsym_1.3.13-3_hppa.deb 07-Oct-2026 18:03 401780 fricas-graphics_1.3.13-3_hppa.deb 07-Oct-2026 18:03 213852 fricas-hypertex-dbgsym_1.3.13-3_hppa.deb 07-Oct-2026 18:03 319352 fricas-hypertex_1.3.13-3_hppa.deb 07-Oct-2026 18:03 182420 fricas_1.3.13-3_hppa.buildinfo 07-Oct-2026 18:03 9011 fricas_1.3.13-3_hppa.deb 07-Oct-2026 18:03 70216464