![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| libflint-arb-dev_2.19.0-1_amd64.deb | 08-Dec-2020 10:27 | 40K |
| libflint-arb-dev_2.19.0-1_i386.deb | 08-Dec-2020 11:13 | 40K |
| libflint-arb-dev_2.23.0-1+b1_i386.deb | 15-Jul-2022 07:55 | 44K |
| libflint-arb-dev_2.23.0-1+b1_amd64.deb | 15-Jul-2022 07:40 | 44K |
| libflint-arb-doc_2.19.0-1_all.deb | 08-Dec-2020 09:56 | 574K |
| libflint-arb-doc_2.23.0-1_all.deb | 09-Jul-2022 23:12 | 635K |
| libflint-arb2_2.19.0-1_amd64.deb | 08-Dec-2020 10:27 | 939K |
| libflint-arb2_2.19.0-1_i386.deb | 08-Dec-2020 11:13 | 1.0M |
| libflint-arb2_2.23.0-1+b1_amd64.deb | 15-Jul-2022 07:40 | 1.2M |
| libflint-arb2_2.23.0-1+b1_i386.deb | 15-Jul-2022 07:55 | 1.3M |