../ fricas-dbgsym_1.3.10-2_alpha.deb 14-May-2024 06:03 5M fricas-graphics-dbgsym_1.3.10-2_alpha.deb 14-May-2024 06:03 409K fricas-graphics_1.3.10-2_alpha.deb 14-May-2024 06:03 208K fricas-hypertex-dbgsym_1.3.10-2_alpha.deb 14-May-2024 06:03 345K fricas-hypertex_1.3.10-2_alpha.deb 14-May-2024 06:03 180K fricas_1.3.10-2_alpha.buildinfo 14-May-2024 06:03 13K fricas_1.3.10-2_alpha.deb 14-May-2024 06:03 55M