Index of /ubuntu-ports/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
libflint-arb-dev_2.11.1-2build1_arm64.deb          25-Jan-2018 03:28               35644
libflint-arb-dev_2.17.0-1_arm64.deb                25-Oct-2019 21:56               38884
libflint-arb-dev_2.22.1-1_arm64.deb                31-Jan-2022 18:09               43326
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-arb2_2.11.1-2build1_arm64.deb             25-Jan-2018 03:28              698544
libflint-arb2_2.17.0-1_arm64.deb                   25-Oct-2019 21:56              885288
libflint-arb2_2.22.1-1_arm64.deb                   31-Jan-2022 18:09             1232106