../ flint_2.5.2-15.debian.tar.xz 24-Jan-2017 00:28 7300 flint_2.5.2-15.dsc 24-Jan-2017 00:28 2195 flint_2.5.2.orig.tar.gz 31-Aug-2015 20:35 2158692 libflint-2.5.2_2.5.2-15_amd64.deb 24-Jan-2017 01:14 906452 libflint-2.5.2_2.5.2-15_i386.deb 24-Jan-2017 01:14 998946 libflint-dev_2.5.2-15_amd64.deb 24-Jan-2017 01:14 149934 libflint-dev_2.5.2-15_i386.deb 24-Jan-2017 01:14 149922 libflint-doc_2.5.2-15_all.deb 24-Jan-2017 01:14 2359840