../ libflint-2.8.4_2.8.4-2build1_amd64.deb 14-Sep-2023 17:51 2298652 libflint-dev_2.8.4-2build1_amd64.deb 14-Sep-2023 17:51 2804004 libflint-dev_3.0.1-3.1build1_amd64.deb 24-Apr-2025 16:07 224156 libflint-doc_2.8.4-2build1_all.deb 14-Sep-2023 17:51 3619026 libflint-doc_3.0.1-3.1build1_all.deb 24-Apr-2025 16:07 7141606 libflint18t64_3.0.1-3.1build1_amd64.deb 24-Apr-2025 16:07 3989238