../ fricas-dbgsym_1.3.10-2_hppa.deb 10-Apr-2024 18:03 5138668 fricas-graphics-dbgsym_1.3.10-2_hppa.deb 10-Apr-2024 18:03 418824 fricas-graphics_1.3.10-2_hppa.deb 10-Apr-2024 18:03 207464 fricas-hypertex-dbgsym_1.3.10-2_hppa.deb 10-Apr-2024 18:03 355392 fricas-hypertex_1.3.10-2_hppa.deb 10-Apr-2024 18:03 176072 fricas_1.3.10-2_hppa.buildinfo 10-Apr-2024 18:03 10413 fricas_1.3.10-2_hppa.deb 10-Apr-2024 18:03 59710488