../ flint_3.1.3-2.debian.tar.xz 11-Jun-2026 17:54 9240 flint_3.1.3-2.dsc 11-Jun-2026 17:54 2220 flint_3.1.3.orig.tar.gz 11-Jun-2026 17:54 7586382 libflint-dev_3.1.3-2_amd64.deb 11-Jun-2026 17:54 221848 libflint-dev_3.1.3-2_riscv64.deb 11-Jun-2026 17:54 221864 libflint-doc_3.1.3-2_all.deb 11-Jun-2026 17:54 7460288 libflint19_3.1.3-2_amd64.deb 11-Jun-2026 17:54 3791156 libflint19_3.1.3-2_riscv64.deb 11-Jun-2026 17:54 3938496