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


../
flint-arb_2.11.1-2.debian.tar.xz                   09-Nov-2017 17:31                3404
flint-arb_2.11.1-2.dsc                             09-Nov-2017 17:31                2222
flint-arb_2.11.1.orig.tar.gz                       09-Nov-2017 05:29             1248835
flint-arb_2.8.1-2ubuntu1.debian.tar.xz             03-Aug-2016 07:54                6032
flint-arb_2.8.1-2ubuntu1.dsc                       03-Aug-2016 07:54                1907
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-2_amd64.deb                11-Nov-2017 11:54               35624
libflint-arb-dev_2.11.1-2_i386.deb                 11-Nov-2017 11:54               35624
libflint-arb-dev_2.8.1-2ubuntu1_amd64.deb          03-Aug-2016 07:55               30708
libflint-arb-dev_2.8.1-2ubuntu1_i386.deb           03-Aug-2016 07:55               30708
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-2_all.deb                  11-Nov-2017 11:54               14104
libflint-arb-doc_2.8.1-2ubuntu1_all.deb            03-Aug-2016 07:55               11846
libflint-arb-doc_2.8.1-3_all.deb                   01-Nov-2016 12:44               11752
libflint-arb1_2.8.1-2ubuntu1_amd64.deb             03-Aug-2016 07:55              834482
libflint-arb1_2.8.1-2ubuntu1_i386.deb              03-Aug-2016 07:55              916882
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-2_amd64.deb                   11-Nov-2017 11:54              786768
libflint-arb2_2.11.1-2_i386.deb                    11-Nov-2017 11:54              875128