../ fricas-dbgsym_1.3.11-2_loong64.deb 13-Aug-2024 15:03 5M fricas-graphics-dbgsym_1.3.11-2_loong64.deb 13-Aug-2024 15:03 436K fricas-graphics_1.3.11-2_loong64.deb 13-Aug-2024 15:03 208K fricas-hypertex-dbgsym_1.3.11-2_loong64.deb 13-Aug-2024 15:03 346K fricas-hypertex_1.3.11-2_loong64.deb 13-Aug-2024 15:03 180K fricas_1.3.11-2_loong64.buildinfo 13-Aug-2024 15:03 13K fricas_1.3.11-2_loong64.deb 13-Aug-2024 15:03 83M