../ fricas-dbgsym_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 5M fricas-graphics-dbgsym_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 425K fricas-graphics_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 211K fricas-hypertex-dbgsym_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 358K fricas-hypertex_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 184K fricas_1.3.10-2_ppc64.buildinfo 10-Apr-2024 03:03 13K fricas_1.3.10-2_ppc64.deb 10-Apr-2024 03:03 53M