| Parent directory/ | - | - |
| flint_2.9.0.orig.tar.gz | 5283894 | 2022-Jun-24 17:41 |
| flint_2.9.0-5.dsc | 2194 | 2022-Sep-11 12:24 |
| flint_2.9.0-5.debian.tar.xz | 8856 | 2022-Sep-11 12:24 |
| libflint-doc_2.9.0-5_all.deb | 3752544 | 2022-Sep-11 13:14 |
| libflint-dev_2.9.0-5_amd64.deb | 238476 | 2022-Sep-11 13:14 |
| libflint17_2.9.0-5_amd64.deb | 2226060 | 2022-Sep-11 13:14 |
| libflint-dev_2.9.0-5_i386.deb | 238496 | 2022-Sep-11 13:30 |
| libflint17_2.9.0-5_i386.deb | 2391888 | 2022-Sep-11 13:30 |
| libflint-dev_2.9.0-5_arm64.deb | 238492 | 2022-Sep-11 13:55 |
| libflint17_2.9.0-5_arm64.deb | 2066080 | 2022-Sep-11 13:55 |
| libflint-dev_2.9.0-5_armhf.deb | 238492 | 2022-Sep-11 14:10 |
| libflint17_2.9.0-5_armhf.deb | 1841020 | 2022-Sep-11 14:10 |