Parent directory/ | - | - |
flint-arb_2.11.1-2build1.debian.tar.xz | 3476 | 2018-Jan-24 22:24 |
flint-arb_2.11.1-2build1.dsc | 2209 | 2018-Jan-24 22:24 |
flint-arb_2.11.1.orig.tar.gz | 1M | 2017-Nov-09 05:29 |
flint-arb_2.8.1-3.debian.tar.xz | 5876 | 2016-Nov-01 12:44 |
flint-arb_2.8.1-3.dsc | 2131 | 2016-Nov-01 12:44 |
flint-arb_2.8.1.orig.tar.gz | 1015K | 2016-Apr-29 05:18 |
libflint-arb-dev_2.11.1-2build1_amd64.deb | 35K | 2018-Jan-25 05:54 |
libflint-arb-dev_2.11.1-2build1_i386.deb | 35K | 2018-Mar-14 11:12 |
libflint-arb-dev_2.8.1-3_amd64.deb | 30K | 2016-Nov-01 12:44 |
libflint-arb-dev_2.8.1-3_i386.deb | 30K | 2016-Nov-01 12:44 |
libflint-arb-doc_2.11.1-2build1_all.deb | 14K | 2018-Jan-25 05:54 |
libflint-arb-doc_2.8.1-3_all.deb | 11K | 2016-Nov-01 12:44 |
libflint-arb1_2.8.1-3_amd64.deb | 816K | 2016-Nov-01 12:44 |
libflint-arb1_2.8.1-3_i386.deb | 895K | 2016-Nov-01 12:44 |
libflint-arb2_2.11.1-2build1_amd64.deb | 769K | 2018-Jan-25 05:54 |
libflint-arb2_2.11.1-2build1_i386.deb | 855K | 2018-Mar-14 11:12 |