../ flint_2.5.2-3.debian.tar.xz 23-Oct-2015 21:29 4856 flint_2.5.2-3.dsc 23-Oct-2015 21:29 2122 flint_2.5.2.orig.tar.gz 23-Oct-2015 21:29 2158692 libflint-2.5.2_2.5.2-3_amd64.deb 24-Oct-2015 00:56 891008 libflint-dev_2.5.2-3_amd64.deb 24-Oct-2015 00:56 135404 libflint-doc_2.5.2-3_all.deb 24-Oct-2015 00:56 2345952