../ flint_3.1.3-2.debian.tar.xz 22-May-2025 22:20 9240 flint_3.1.3-2.dsc 22-May-2025 22:20 2220 flint_3.1.3.orig.tar.gz 26-Aug-2024 13:37 7M libflint-dev_3.1.3-2_amd64.deb 04-Jun-2025 18:33 217K libflint-doc_3.1.3-2_all.deb 22-May-2025 22:56 7M libflint19-dbgsym_3.1.3-2_amd64.deb 04-Jun-2025 22:13 13M libflint19_3.1.3-2_amd64.deb 04-Jun-2025 18:45 4M