../ libflint-2.5.2_2.5.2-17build1_amd64.deb 24-Jan-2018 22:25 894240 libflint-2.5.2_2.5.2-21build1_amd64.deb 22-Mar-2020 17:31 892844 libflint-dev_2.5.2-17build1_amd64.deb 24-Jan-2018 22:25 1147404 libflint-dev_2.5.2-21build1_amd64.deb 22-Mar-2020 17:31 1148736 libflint-doc_2.5.2-17build1_all.deb 24-Jan-2018 22:25 2344632 libflint-doc_2.5.2-21build1_all.deb 22-Mar-2020 17:31 2328908