../ flint_2.4.4-2.debian.tar.xz 25-Sep-2014 22:53 5240 flint_2.4.4-2.dsc 25-Sep-2014 22:53 2122 flint_2.4.4.orig.tar.gz 12-Aug-2014 21:23 1639262 libflint-2.4.4_2.4.4-2_armhf.deb 02-Oct-2014 11:10 599488 libflint-dev_2.4.4-2_armhf.deb 02-Oct-2014 11:10 138068 libflint-doc_2.4.4-2_all.deb 25-Sep-2014 22:53 2164626