../ fricas-dbgsym_1.3.11-2_sh4.deb 30-Jul-2024 03:03 5M fricas-graphics-dbgsym_1.3.11-2_sh4.deb 30-Jul-2024 03:03 435K fricas-graphics_1.3.11-2_sh4.deb 30-Jul-2024 03:03 214K fricas-hypertex-dbgsym_1.3.11-2_sh4.deb 30-Jul-2024 03:03 340K fricas-hypertex_1.3.11-2_sh4.deb 30-Jul-2024 03:03 178K fricas_1.3.11-2_sh4.buildinfo 30-Jul-2024 03:03 12K fricas_1.3.11-2_sh4.deb 30-Jul-2024 03:03 50M