Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
flint-arb_2.16.0.orig.tar.gz | 12-Dec-2018 10:13 | 1.5M | |
flint-arb_2.8.1.orig.tar.gz | 18-Apr-2016 17:56 | 1.0M | |
libflint-arb2_2.16.0-2_i386.deb | 15-Jan-2019 13:27 | 1.0M | |
libflint-arb1_2.8.1-3_i386.deb | 28-Oct-2016 19:41 | 899K | |
libflint-arb2_2.16.0-2_amd64.deb | 15-Jan-2019 13:27 | 893K | |
libflint-arb1_2.8.1-3_amd64.deb | 28-Oct-2016 19:26 | 819K | |
libflint-arb-dev_2.16.0-2_i386.deb | 15-Jan-2019 13:27 | 39K | |
libflint-arb-dev_2.16.0-2_amd64.deb | 15-Jan-2019 13:27 | 39K | |
libflint-arb-dev_2.8.1-3_amd64.deb | 28-Oct-2016 19:26 | 30K | |
libflint-arb-dev_2.8.1-3_i386.deb | 28-Oct-2016 19:41 | 30K | |
libflint-arb-doc_2.16.0-2_all.deb | 15-Jan-2019 13:27 | 22K | |
libflint-arb-doc_2.8.1-3_all.deb | 28-Oct-2016 19:56 | 11K | |
flint-arb_2.8.1-3.debian.tar.xz | 28-Oct-2016 17:29 | 5.7K | |
flint-arb_2.16.0-2.debian.tar.xz | 15-Jan-2019 13:02 | 3.9K | |
flint-arb_2.16.0-2.dsc | 15-Jan-2019 13:02 | 2.1K | |
flint-arb_2.8.1-3.dsc | 28-Oct-2016 17:29 | 2.1K | |