../ fricas-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 5M fricas-graphics-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 431K fricas-graphics_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 197K fricas-hypertex-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 345K fricas-hypertex_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 171K fricas_1.3.11-2_sparc64.buildinfo 29-Jul-2024 06:03 13K fricas_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 47M