../ fricas-dbgsym_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 5M fricas-graphics-dbgsym_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 420K fricas-graphics_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 207K fricas-hypertex-dbgsym_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 353K fricas-hypertex_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 182K fricas_1.3.10-2_powerpc.buildinfo 16-Apr-2024 18:03 10K fricas_1.3.10-2_powerpc.deb 16-Apr-2024 18:03 51M