../ libflint-2.5.2_2.5.2-19_amd64.deb 25-Jan-2023 19:21 894K libflint-2.5.2_2.5.2-19_i386.deb 08-Nov-2024 09:00 982K libflint-dev_2.5.2-19_amd64.deb 25-Jan-2023 19:21 1M libflint-dev_2.5.2-19_i386.deb 08-Nov-2024 09:00 1M libflint-doc_2.5.2-19_all.deb 25-Jan-2023 19:21 2M