| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libflint-dev_3.1.3-2opt1+amd64v3optimized2_amd64.deb | 219.8 KiB | 2026-May-09 19:15 |
| libflint-doc_3.1.3-2opt1+amd64v3optimized2_all.deb | 7.1 MiB | 2026-May-09 19:15 |
| libflint19-dbgsym_3.1.3-2opt1+amd64v3optimized2_amd64.deb | 14.1 MiB | 2026-May-09 19:15 |
| libflint19_3.1.3-2opt1+amd64v3optimized2_amd64.deb | 3.7 MiB | 2026-May-09 19:15 |