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.17.0-1.debian.tar.xz                   25-Oct-2019 20:05                3972
flint-arb_2.17.0-1.dsc                             25-Oct-2019 20:05                2171
flint-arb_2.17.0.orig.tar.gz                       25-Oct-2019 20:05             1589083
flint-arb_2.22.1-1.debian.tar.xz                   31-Jan-2022 17:24                4900
flint-arb_2.22.1-1.dsc                             31-Jan-2022 17:24                2173
flint-arb_2.22.1.orig.tar.gz                       31-Jan-2022 17:24             1906319
flint-arb_2.23.0-1build1.debian.tar.xz             16-Jul-2022 10:28                5060
flint-arb_2.23.0-1build1.dsc                       16-Jul-2022 10:28                2169
flint-arb_2.23.0.orig.tar.gz                       10-Jul-2022 05:38             1989841
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.17.0-1_amd64.deb                25-Oct-2019 21:38               38888
libflint-arb-dev_2.22.1-1_amd64.deb                31-Jan-2022 18:09               43332
libflint-arb-dev_2.23.0-1build1_amd64.deb          17-Jul-2022 10:58               44274
libflint-arb-doc_2.11.1-2build1_all.deb            25-Jan-2018 05:54               14184
libflint-arb-doc_2.17.0-1_all.deb                  25-Oct-2019 21:38               17856
libflint-arb-doc_2.22.1-1_all.deb                  31-Jan-2022 18:09              637372
libflint-arb-doc_2.23.0-1build1_all.deb            17-Jul-2022 10:58              645032
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.17.0-1_amd64.deb                   25-Oct-2019 21:38              948148
libflint-arb2_2.22.1-1_amd64.deb                   31-Jan-2022 18:09             1247384
libflint-arb2_2.23.0-1build1_amd64.deb             17-Jul-2022 10:58             1301570