../ libflint-dev_3.0.1-3.1build1_amd64.deb 31-Mar-2024 05:29 219K libflint-dev_3.4.0-1_amd64.deb 27-Nov-2025 17:36 240K libflint-doc_3.0.1-3.1build1_all.deb 31-Mar-2024 05:29 7M libflint-doc_3.4.0-1_all.deb 27-Nov-2025 17:36 7M libflint18t64_3.0.1-3.1build1_amd64.deb 31-Mar-2024 05:29 4M libflint22_3.4.0-1_amd64.deb 27-Nov-2025 17:36 4M