../ flint_3.1.3-2.debian.tar.xz 05-Jan-2025 18:45 9240 flint_3.1.3-2.dsc 05-Jan-2025 18:45 2220 flint_3.1.3.orig.tar.gz 10-Jun-2024 10:49 7M libflint-dev_3.1.3-2_amd64.deb 05-Jan-2025 21:41 217K libflint-doc_3.1.3-2_all.deb 05-Jan-2025 22:11 7M libflint19_3.1.3-2_amd64.deb 05-Jan-2025 21:41 4M