../ libflint-dev_3.1.3-2opt1+amd64v3optimized2_amd6..> 09-May-2026 19:15 225068 libflint-doc_3.1.3-2opt1+amd64v3optimized2_all.deb 09-May-2026 19:15 7460456 libflint19-dbgsym_3.1.3-2opt1+amd64v3optimized2..> 09-May-2026 19:15 14799524 libflint19_3.1.3-2opt1+amd64v3optimized2_amd64.deb 09-May-2026 19:15 3881580