../ fricas-dbgsym_1.3.11-5_alpha.deb 22-Sep-2025 12:03 180536 fricas-graphics-dbgsym_1.3.11-5_alpha.deb 22-Sep-2025 12:03 440692 fricas-graphics_1.3.11-5_alpha.deb 22-Sep-2025 12:03 217520 fricas-hypertex-dbgsym_1.3.11-5_alpha.deb 22-Sep-2025 12:03 352908 fricas-hypertex_1.3.11-5_alpha.deb 22-Sep-2025 12:03 187648 fricas_1.3.11-5_alpha.buildinfo 22-Sep-2025 12:03 9146 fricas_1.3.11-5_alpha.deb 22-Sep-2025 12:03 56110432