../ flint_3.1.2-1_powerpc.buildinfo 03-Apr-2024 00:03 9689 libflint-dev_3.1.2-1_powerpc.deb 03-Apr-2024 00:03 217K libflint19-dbgsym_3.1.2-1_powerpc.deb 03-Apr-2024 00:03 14M libflint19_3.1.2-1_powerpc.deb 03-Apr-2024 00:03 4M