| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libflint-dev_3.1.3-2opt1+armv82optimized2_arm64.deb | 219.8 KiB | 2026-May-10 15:32 |
| libflint-doc_3.1.3-2opt1+armv82optimized2_all.deb | 7.1 MiB | 2026-May-10 15:32 |
| libflint19-dbgsym_3.1.3-2opt1+armv82optimized2_arm64.deb | 13.8 MiB | 2026-May-10 15:32 |
| libflint19_3.1.3-2opt1+armv82optimized2_arm64.deb | 3.4 MiB | 2026-May-10 15:32 |