../ flint_2.5.2-3.debian.tar.xz 19-Sep-2015 00:23 4856 flint_2.5.2-3.dsc 19-Sep-2015 00:23 2122 flint_2.5.2.orig.tar.gz 01-Sep-2015 04:35 2M libflint-2.5.2_2.5.2-3_mipsel.deb 19-Sep-2015 06:29 793K libflint-dev_2.5.2-3_mipsel.deb 19-Sep-2015 06:29 145K libflint-doc_2.5.2-3_all.deb 19-Sep-2015 00:23 2M