../ libflint-2.5.2_2.5.2-15_amd64.deb 27-Nov-2019 12:21 906452 libflint-dev_2.5.2-15_amd64.deb 27-Nov-2019 12:21 149934 libflint-doc_2.5.2-15_all.deb 27-Nov-2019 12:21 2359840