../ fricas-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 06:03 5081988 fricas-graphics-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 06:03 419548 fricas-graphics_1.3.10-2_sh4.deb 11-Apr-2024 06:03 214240 fricas-hypertex-dbgsym_1.3.10-2_sh4.deb 11-Apr-2024 06:03 350096 fricas-hypertex_1.3.10-2_sh4.deb 11-Apr-2024 06:03 180000 fricas_1.3.10-2_sh4.buildinfo 11-Apr-2024 06:03 10307 fricas_1.3.10-2_sh4.deb 11-Apr-2024 06:03 53127168