../ fricas-dbgsym_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 5M fricas-graphics-dbgsym_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 451K fricas-graphics_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 216K fricas-hypertex-dbgsym_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 356K fricas-hypertex_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 187K fricas_1.3.11-2_ppc64.buildinfo 28-Jul-2024 18:03 13K fricas_1.3.11-2_ppc64.deb 28-Jul-2024 18:03 48M