../ flint_2.6.3-3.debian.tar.xz 25-Oct-2020 13:27 7192 flint_2.6.3-3.dsc 25-Oct-2020 13:27 2173 flint_2.6.3.orig.tar.gz 12-Aug-2020 20:59 4526340 libflint-2.6.3_2.6.3-3_amd64.deb 25-Oct-2020 14:12 1626752 libflint-dev_2.6.3-3_amd64.deb 25-Oct-2020 14:12 1991852 libflint-doc_2.6.3-3_all.deb 25-Oct-2020 14:07 3515528