../ fricas-dbgsym_1.3.11-3_loong64.deb 09-Nov-2025 10:28 192180 fricas-graphics-dbgsym_1.3.11-3_loong64.deb 09-Nov-2025 10:28 468620 fricas-graphics_1.3.11-3_loong64.deb 09-Nov-2025 10:28 213220 fricas-hypertex-dbgsym_1.3.11-3_loong64.deb 09-Nov-2025 10:28 370604 fricas-hypertex_1.3.11-3_loong64.deb 09-Nov-2025 10:28 187576 fricas_1.3.11-3_loong64.deb 09-Nov-2025 10:28 65883076