../ libflint-2.5.2_2.5.2-19_amd64.deb 31-Aug-2022 14:08 915504 libflint-2.6.3_2.6.3-3_amd64.deb 01-Sep-2022 16:43 1626752 libflint-dev_2.5.2-19_amd64.deb 31-Aug-2022 14:08 1159320 libflint-dev_2.6.3-3_amd64.deb 01-Sep-2022 16:43 1991852 libflint-doc_2.5.2-19_all.deb 31-Aug-2022 14:08 2421032 libflint-doc_2.6.3-3_all.deb 01-Sep-2022 16:43 3515528