../ libflint-dev_3.0.1-3.1build1_amd64.deb 30-Mar-2024 19:29 219K libflint-doc_3.0.1-3.1build1_all.deb 30-Mar-2024 19:29 7M libflint18t64_3.0.1-3.1build1_amd64.deb 30-Mar-2024 19:29 4M