| Parent directory/ | - | - |
| libflint-doc_2.9.0-5_all.deb | 3.6 MiB | 2022-Sep-11 16:14 |
| libflint17_2.9.0-5_amd64.deb | 2.1 MiB | 2022-Sep-11 16:14 |
| libflint-dev_2.9.0-5_amd64.deb | 232.9 KiB | 2022-Sep-11 16:14 |
| flint_3.1.3.orig.tar.gz | 7.2 MiB | 2024-Jun-10 08:49 |
| flint_3.1.3-2.dsc | 2.2 KiB | 2025-Jan-05 16:45 |
| flint_3.1.3-2.debian.tar.xz | 9.0 KiB | 2025-Jan-05 16:45 |
| libflint-dev_3.1.3-2_armhf.deb | 216.7 KiB | 2025-Jan-05 19:26 |
| libflint19_3.1.3-2_armhf.deb | 3.0 MiB | 2025-Jan-05 19:26 |
| libflint19_3.1.3-2_amd64.deb | 3.6 MiB | 2025-Jan-05 19:41 |
| libflint-dev_3.1.3-2_amd64.deb | 216.6 KiB | 2025-Jan-05 19:41 |
| libflint19_3.1.3-2_arm64.deb | 3.4 MiB | 2025-Jan-05 20:01 |
| libflint-dev_3.1.3-2_arm64.deb | 219.6 KiB | 2025-Jan-05 20:01 |
| libflint-doc_3.1.3-2_all.deb | 7.1 MiB | 2025-Jan-05 20:11 |
| libflint19_3.1.3-2_riscv64.deb | 3.8 MiB | 2025-Jan-05 21:50 |
| libflint-dev_3.1.3-2_riscv64.deb | 216.7 KiB | 2025-Jan-05 21:50 |