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