Index of /pool/universe/f/flint-arb/


../
flint-arb_2.11.1-2build1.debian.tar.xz             24-Jan-2018 22:24                3476
flint-arb_2.11.1-2build1.dsc                       24-Jan-2018 22:24                2209
flint-arb_2.11.1.orig.tar.gz                       09-Nov-2017 05:29             1248835
flint-arb_2.14.0-4.debian.tar.xz                   02-Oct-2018 08:48                4476
flint-arb_2.14.0-4.dsc                             02-Oct-2018 08:48                2140
flint-arb_2.14.0.orig.tar.gz                       02-Oct-2018 08:48             1469189
flint-arb_2.8.1-3.debian.tar.xz                    01-Nov-2016 12:44                5876
flint-arb_2.8.1-3.dsc                              01-Nov-2016 12:44                2131
flint-arb_2.8.1.orig.tar.gz                        29-Apr-2016 05:18             1039005
libflint-arb-dev_2.11.1-2build1_amd64.deb          25-Jan-2018 05:54               35648
libflint-arb-dev_2.11.1-2build1_i386.deb           14-Mar-2018 11:12               35644
libflint-arb-dev_2.14.0-4_amd64.deb                02-Oct-2018 09:08               38316
libflint-arb-dev_2.14.0-4_i386.deb                 02-Oct-2018 09:13               38312
libflint-arb-dev_2.8.1-3_amd64.deb                 01-Nov-2016 12:44               30692
libflint-arb-dev_2.8.1-3_i386.deb                  01-Nov-2016 12:44               30690
libflint-arb-doc_2.11.1-2build1_all.deb            25-Jan-2018 05:54               14184
libflint-arb-doc_2.14.0-4_all.deb                  02-Oct-2018 09:08               21508
libflint-arb-doc_2.8.1-3_all.deb                   01-Nov-2016 12:44               11752
libflint-arb1_2.8.1-3_amd64.deb                    01-Nov-2016 12:44              835456
libflint-arb1_2.8.1-3_i386.deb                     01-Nov-2016 12:44              916552
libflint-arb2_2.11.1-2build1_amd64.deb             25-Jan-2018 05:54              786968
libflint-arb2_2.11.1-2build1_i386.deb              14-Mar-2018 11:12              875168
libflint-arb2_2.14.0-4_amd64.deb                   02-Oct-2018 09:08              881448
libflint-arb2_2.14.0-4_i386.deb                    02-Oct-2018 09:13              979956