../ libflint-dev_2.9.0-5_amd64.deb 27-Jul-2023 21:00 238476 libflint-dev_3.1.3-2_amd64.deb 10-Aug-2025 10:54 221848 libflint-doc_2.9.0-5_all.deb 27-Jul-2023 21:00 3752544 libflint-doc_3.1.3-2_all.deb 10-Aug-2025 10:54 7460288 libflint17_2.9.0-5_amd64.deb 27-Jul-2023 21:00 2226060 libflint19_3.1.3-2_amd64.deb 10-Aug-2025 10:54 3791156