../ fricas-dbgsym_1.3.11-4_ppc64.deb 14-May-2025 18:03 190424 fricas-graphics-dbgsym_1.3.11-4_ppc64.deb 14-May-2025 18:03 461816 fricas-graphics_1.3.11-4_ppc64.deb 14-May-2025 18:03 221376 fricas-hypertex-dbgsym_1.3.11-4_ppc64.deb 14-May-2025 18:03 364788 fricas-hypertex_1.3.11-4_ppc64.deb 14-May-2025 18:03 191432 fricas_1.3.11-4_ppc64.buildinfo 14-May-2025 18:03 9460 fricas_1.3.11-4_ppc64.deb 14-May-2025 18:03 53130952