Index of /aces-base/pool/main/f/flint/

../
flint_2.9.0-5.debian.tar.xz                        21-Dec-2022 20:53                8856
flint_2.9.0-5.dsc                                  21-Dec-2022 20:53                2194
flint_2.9.0.orig.tar.gz                            21-Dec-2022 20:53             5283894
libflint-dev_2.9.0-5_amd64.deb                     21-Dec-2022 17:23              238476
libflint-doc_2.9.0-5_all.deb                       21-Dec-2022 20:16             3752544
libflint17_2.9.0-5_amd64.deb                       21-Dec-2022 19:20             2226060