../ flint_2.5.2-17build1.debian.tar.xz 24-Jan-2018 22:24 8076 flint_2.5.2-17build1.dsc 24-Jan-2018 22:24 2174 flint_2.5.2.orig.tar.gz 23-Oct-2015 21:29 2158692 libflint-2.5.2_2.5.2-17build1_i386.deb 24-Jan-2018 22:25 978364 libflint-dev_2.5.2-17build1_i386.deb 24-Jan-2018 22:25 1238496 libflint-doc_2.5.2-17build1_all.deb 24-Jan-2018 22:25 2344632