../ libflint-dev_2.9.0-5_amd64.deb 11-Sep-2022 13:14 233K libflint-dev_2.9.0-5_arm64.deb 11-Sep-2022 13:55 233K libflint-dev_2.9.0-5_armhf.deb 11-Sep-2022 14:10 233K libflint-dev_3.1.3-2_amd64.deb 05-Jan-2025 16:41 217K libflint-doc_2.9.0-5_all.deb 11-Sep-2022 13:14 4M libflint-doc_3.1.3-2_all.deb 05-Jan-2025 17:11 7M libflint17_2.9.0-5_amd64.deb 11-Sep-2022 13:14 2M libflint17_2.9.0-5_arm64.deb 11-Sep-2022 13:55 2M libflint17_2.9.0-5_armhf.deb 11-Sep-2022 14:10 2M libflint19_3.1.3-2_amd64.deb 05-Jan-2025 16:41 4M