../ fricas-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 5057692 fricas-graphics-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 441408 fricas-graphics_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 201696 fricas-hypertex-dbgsym_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 352956 fricas-hypertex_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 174640 fricas_1.3.11-2_sparc64.buildinfo 29-Jul-2024 06:03 12807 fricas_1.3.11-2_sparc64.deb 29-Jul-2024 06:03 49387604