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