| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| flint-arb_2.8.1-3.debian.tar.xz | 5.7 KiB | 2016-Oct-28 16:29 |
| flint-arb_2.8.1-3.dsc | 2.1 KiB | 2016-Oct-28 16:29 |
| flint-arb_2.8.1.orig.tar.gz | 1014.7 KiB | 2016-Apr-18 16:56 |
| libflint-arb-dev_2.8.1-3_armhf.deb | 30.4 KiB | 2016-Nov-04 16:08 |
| libflint-arb-doc_2.8.1-3_all.deb | 11.4 KiB | 2016-Oct-28 18:56 |
| libflint-arb1_2.8.1-3_armhf.deb | 675.1 KiB | 2016-Nov-04 16:08 |