../ fricas-dbgsym_1.3.11-2_alpha.deb 30-Jul-2024 21:03 5M fricas-graphics-dbgsym_1.3.11-2_alpha.deb 30-Jul-2024 21:03 433K fricas-graphics_1.3.11-2_alpha.deb 30-Jul-2024 21:03 213K fricas-hypertex-dbgsym_1.3.11-2_alpha.deb 30-Jul-2024 21:03 343K fricas-hypertex_1.3.11-2_alpha.deb 30-Jul-2024 21:03 182K fricas_1.3.11-2_alpha.buildinfo 30-Jul-2024 21:03 12K fricas_1.3.11-2_alpha.deb 30-Jul-2024 21:03 50M