../ flint_3.1.3-2.debian.tar.xz 05-Jan-2025 13:45 9240 flint_3.1.3-2.dsc 05-Jan-2025 13:45 2220 flint_3.1.3.orig.tar.gz 10-Jun-2024 05:49 7586382 libflint-dev_3.1.3-2_amd64.deb 05-Jan-2025 16:41 221848 libflint-doc_3.1.3-2_all.deb 05-Jan-2025 17:11 7460288 libflint19_3.1.3-2_amd64.deb 05-Jan-2025 16:41 3791156