../ libflint-dev_3.1.3-2opt1+amd64v3optimized2_amd6..> 08-Aug-2026 12:38 225068 libflint-doc_3.1.3-2opt1+amd64v3optimized2_all.deb 08-Aug-2026 12:38 7460456 libflint19-dbgsym_3.1.3-2opt1+amd64v3optimized2..> 08-Aug-2026 12:38 14799524 libflint19_3.1.3-2opt1+amd64v3optimized2_amd64.deb 08-Aug-2026 12:38 3881580