../ fricas-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 187116 fricas-graphics-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 457544 fricas-graphics_1.3.11-4_powerpc.deb 14-May-2025 18:03 217488 fricas-hypertex-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 360080 fricas-hypertex_1.3.11-4_powerpc.deb 14-May-2025 18:03 188192 fricas_1.3.11-4_powerpc.buildinfo 14-May-2025 18:03 9423 fricas_1.3.11-4_powerpc.deb 14-May-2025 18:03 52296276