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