../ libflint-2.8.4_2.8.4-2build1_amd64.deb 10-Dec-2021 00:05 2M libflint-dev_2.8.4-2build1_amd64.deb 10-Dec-2021 00:05 3M libflint-dev_3.0.1-3.1build1_amd64.deb 31-Mar-2024 02:29 219K libflint-doc_2.8.4-2build1_all.deb 10-Dec-2021 00:05 3M libflint-doc_3.0.1-3.1build1_all.deb 31-Mar-2024 02:29 7M libflint18t64_3.0.1-3.1build1_amd64.deb 31-Mar-2024 02:29 4M