| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| libflint-dev_3.1.1-1_ia64.deb | 216.4 KiB | 2024-Mar-17 02:03 | |
| libflint18t64-dbgsym_3.1.1-1_ia64.deb | 15.7 MiB | 2024-Mar-17 02:03 | |
| libflint18t64_3.1.1-1_ia64.deb | 4.1 MiB | 2024-Mar-17 02:03 | |
| flint_3.1.1-1_ia64.buildinfo | 9.7 KiB | 2024-Mar-17 02:03 | |