../ libflint-2.5.2_2.5.2-19_amd64.deb 14-May-2025 12:07 915504 libflint-dev_2.5.2-19_amd64.deb 14-May-2025 12:05 1159320 libflint-doc_2.5.2-19_all.deb 14-May-2025 11:59 2421032