../ fricas-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 183K fricas-graphics-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 447K fricas-graphics_1.3.11-4_powerpc.deb 14-May-2025 18:03 212K fricas-hypertex-dbgsym_1.3.11-4_powerpc.deb 14-May-2025 18:03 352K fricas-hypertex_1.3.11-4_powerpc.deb 14-May-2025 18:03 184K 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 50M