../ flint_3.0.1-3.1build1.debian.tar.xz 31-Mar-2024 09:31 8744 flint_3.0.1-3.1build1.dsc 31-Mar-2024 09:31 2345 flint_3.0.1.orig.tar.gz 12-Dec-2023 07:42 7M libflint-dev_3.0.1-3.1build1_amd64.deb 31-Mar-2024 10:29 219K libflint-doc_3.0.1-3.1build1_all.deb 31-Mar-2024 10:29 7M libflint18t64_3.0.1-3.1build1_amd64.deb 31-Mar-2024 10:29 4M