../ fricas-dbgsym_1.3.11-4_alpha.deb 15-May-2025 06:03 180380 fricas-graphics-dbgsym_1.3.11-4_alpha.deb 15-May-2025 06:03 444088 fricas-graphics_1.3.11-4_alpha.deb 15-May-2025 06:03 217912 fricas-hypertex-dbgsym_1.3.11-4_alpha.deb 15-May-2025 06:03 352820 fricas-hypertex_1.3.11-4_alpha.deb 15-May-2025 06:03 186868 fricas_1.3.11-4_alpha.buildinfo 15-May-2025 06:03 9173 fricas_1.3.11-4_alpha.deb 15-May-2025 06:03 54261108