../ flint_2.5.2-21build1.debian.tar.xz 22-Mar-2020 16:49 8620 flint_2.5.2-21build1.dsc 22-Mar-2020 16:49 2167 flint_2.5.2.orig.tar.gz 23-Oct-2015 21:29 2158692 libflint-2.5.2_2.5.2-21build1_amd64.deb 22-Mar-2020 17:31 892844 libflint-dev_2.5.2-21build1_amd64.deb 22-Mar-2020 17:31 1148736 libflint-doc_2.5.2-21build1_all.deb 22-Mar-2020 17:31 2328908