../ libflint-dev_3.0.1-3.1build1_amd64.deb 31-Mar-2024 02:29 219K libflint-dev_3.1.3-2_amd64.deb 06-Jan-2025 01:56 218K libflint-doc_3.0.1-3.1build1_all.deb 31-Mar-2024 02:29 7M libflint-doc_3.1.3-2_all.deb 06-Jan-2025 01:56 7M libflint18t64_3.0.1-3.1build1_amd64.deb 31-Mar-2024 02:29 4M libflint19_3.1.3-2_amd64.deb 06-Jan-2025 01:56 4M