../ fricas-dbgsym_1.3.11-4_sh4.deb 16-May-2025 12:03 179032 fricas-graphics-dbgsym_1.3.11-4_sh4.deb 16-May-2025 12:03 444840 fricas-graphics_1.3.11-4_sh4.deb 16-May-2025 12:03 218472 fricas-hypertex-dbgsym_1.3.11-4_sh4.deb 16-May-2025 12:03 348892 fricas-hypertex_1.3.11-4_sh4.deb 16-May-2025 12:03 182252 fricas_1.3.11-4_sh4.buildinfo 16-May-2025 12:03 9146 fricas_1.3.11-4_sh4.deb 16-May-2025 12:03 50363296