../ libflint-dev_2.9.0-5_amd64.deb 08-Oct-2026 13:11 238476 libflint-dev_3.1.3-2_amd64.deb 08-Oct-2026 13:11 221848 libflint-doc_2.9.0-5_all.deb 08-Oct-2026 13:11 3752544 libflint-doc_3.1.3-2_all.deb 08-Oct-2026 13:11 7460288 libflint17_2.9.0-5_amd64.deb 08-Oct-2026 13:11 2226060 libflint19_3.1.3-2_amd64.deb 08-Oct-2026 13:11 3791156