../ libflint-2.5.2_2.5.2-17build1_amd64.deb 02-Oct-2018 09:32 894240 libflint-2.5.2_2.5.2-3_amd64.deb 16-Mar-2016 11:24 891008 libflint-dev_2.5.2-17build1_amd64.deb 02-Oct-2018 09:39 1147404 libflint-dev_2.5.2-3_amd64.deb 16-Mar-2016 11:10 135404 libflint-doc_2.5.2-17build1_all.deb 02-Oct-2018 09:37 2344632 libflint-doc_2.5.2-3_all.deb 16-Mar-2016 11:29 2345952