../ fricas-dbgsym_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 5M fricas-graphics-dbgsym_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 452K fricas-graphics_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 216K fricas-hypertex-dbgsym_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 356K fricas-hypertex_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 187K fricas_1.3.11-1_ppc64.buildinfo 01-Jul-2024 00:03 13K fricas_1.3.11-1_ppc64.deb 01-Jul-2024 00:03 52M