![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[deb]](/theme/icons/deb.svg){kind=icon} | libflint-2.5.2_2.5.2-17build1_amd64.deb | 2018-01-24 22:25 | 873K |
| libflint-2.5.2_2.5.2-21build1_amd64.deb | 2020-03-22 17:31 | 872K |
| libflint-dev_2.5.2-17build1_amd64.deb | 2018-01-24 22:25 | 1.1M |
| libflint-dev_2.5.2-21build1_amd64.deb | 2020-03-22 17:31 | 1.1M |
| libflint-doc_2.5.2-17build1_all.deb | 2018-01-24 22:25 | 2.2M |
| libflint-doc_2.5.2-21build1_all.deb | 2020-03-22 17:31 | 2.2M |