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