../ flint_2.4.4-2.debian.tar.xz 03-Oct-2017 12:01 5240 flint_2.4.4-2.dsc 03-Oct-2017 12:01 2122 flint_2.4.4.orig.tar.gz 03-Oct-2017 12:01 1639262 libflint-2.4.4_2.4.4-2_amd64.deb 24-Aug-2017 09:43 740800 libflint-2.4.4_2.4.4-2_i386.deb 24-Aug-2017 09:49 802626 libflint-dev_2.4.4-2_amd64.deb 24-Aug-2017 09:23 139890 libflint-dev_2.4.4-2_i386.deb 24-Aug-2017 09:47 138458 libflint-doc_2.4.4-2_all.deb 24-Aug-2017 09:46 2164626