Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/f/flint/

../
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             7624944
libflint-dev_3.0.1-3.1build1_amd64.deb             31-Mar-2024 02:29              224156
libflint-doc_3.0.1-3.1build1_all.deb               31-Mar-2024 02:29             7141606
libflint18t64_3.0.1-3.1build1_amd64.deb            31-Mar-2024 02:29             3989238