../ libflint-dev_3.1.3-2opt1+amd64v3optimized2_amd6..> 25-Jul-2026 00:41 225068 libflint-doc_3.1.3-2opt1+amd64v3optimized2_all.deb 25-Jul-2026 00:41 7460456 libflint19-dbgsym_3.1.3-2opt1+amd64v3optimized2..> 25-Jul-2026 00:41 14799524 libflint19_3.1.3-2opt1+amd64v3optimized2_amd64.deb 25-Jul-2026 00:41 3881580