../ fricas-dbgsym_1.3.11-4_loong64.deb 14-May-2025 19:29 192200 fricas-graphics-dbgsym_1.3.11-4_loong64.deb 14-May-2025 19:29 468608 fricas-graphics_1.3.11-4_loong64.deb 14-May-2025 19:29 213368 fricas-hypertex-dbgsym_1.3.11-4_loong64.deb 14-May-2025 19:29 370628 fricas-hypertex_1.3.11-4_loong64.deb 14-May-2025 19:29 187484 fricas_1.3.11-4_loong64.deb 14-May-2025 19:29 65076236