../ libflint-2.5.2_2.5.2-19_amd64.deb 04-Nov-2018 00:30 915504 libflint-dev_2.5.2-19_amd64.deb 04-Nov-2018 00:30 1159320 libflint-dev_2.9.0-5_amd64.deb 11-Sep-2022 13:14 238476 libflint-doc_2.5.2-19_all.deb 04-Nov-2018 00:30 2421032 libflint-doc_2.9.0-5_all.deb 11-Sep-2022 13:14 3752544 libflint17_2.9.0-5_amd64.deb 11-Sep-2022 13:14 2226060