| Parent directory/ | - | - |
| flint-arb_2.11.1-2.debian.tar.xz | 3404 | 09-Nov-2017 10:52 |
| flint-arb_2.11.1-2.dsc | 2222 | 09-Nov-2017 10:52 |
| flint-arb_2.11.1.orig.tar.gz | 1M | 07-Nov-2017 10:05 |
| libflint-arb-dev_2.11.1-2+b1_amd64.deb | 36K | 25-Jan-2018 12:11 |
| libflint-arb-dev_2.8.1-1_amd64.deb | 30K | 17-Aug-2017 00:51 |
| libflint-arb-doc_2.11.1-2_all.deb | 14K | 09-Nov-2017 12:28 |
| libflint-arb-doc_2.8.1-1_all.deb | 11K | 17-Aug-2017 00:51 |
| libflint-arb1_2.8.1-1_amd64.deb | 819K | 17-Aug-2017 00:51 |
| libflint-arb1_2.8.1-3_amd64.deb | 819K | 28-Oct-2016 18:26 |
| libflint-arb2_2.11.1-2+b1_amd64.deb | 771K | 25-Jan-2018 12:11 |