Index of /debian/pool/main/f/flint/

../
flint_2.9.0-5.debian.tar.xz                        11-Sep-2022 12:24                8856
flint_2.9.0-5.dsc                                  11-Sep-2022 12:24                2194
flint_2.9.0.orig.tar.gz                            24-Jun-2022 17:41             5283894
flint_3.1.3-2.debian.tar.xz                        05-Jan-2025 13:45                9240
flint_3.1.3-2.dsc                                  05-Jan-2025 13:45                2220
flint_3.1.3.orig.tar.gz                            10-Jun-2024 05:49             7586382
libflint-dev_2.9.0-5_amd64.deb                     11-Sep-2022 13:14              238476
libflint-dev_3.1.3-2_amd64.deb                     05-Jan-2025 16:41              221848
libflint-doc_2.9.0-5_all.deb                       11-Sep-2022 13:14             3752544
libflint-doc_3.1.3-2_all.deb                       05-Jan-2025 17:11             7460288
libflint17_2.9.0-5_amd64.deb                       11-Sep-2022 13:14             2226060
libflint19_3.1.3-2_amd64.deb                       05-Jan-2025 16:41             3791156