Index of /debian/pool/main/f/flint-arb/

../
flint-arb_2.16.0-2.debian.tar.xz                   15-Jan-2019 10:02                3948
flint-arb_2.16.0-2.dsc                             15-Jan-2019 10:02                2140
flint-arb_2.16.0.orig.tar.gz                       12-Dec-2018 07:13             1526059
flint-arb_2.8.1-3.debian.tar.xz                    28-Oct-2016 13:29                5876
flint-arb_2.8.1-3.dsc                              28-Oct-2016 13:29                2131
flint-arb_2.8.1.orig.tar.gz                        18-Apr-2016 13:56             1039005
libflint-arb-dev_2.16.0-2_amd64.deb                15-Jan-2019 10:27               39976
libflint-arb-dev_2.8.1-3_amd64.deb                 28-Oct-2016 15:26               31148
libflint-arb-doc_2.16.0-2_all.deb                  15-Jan-2019 10:27               22164
libflint-arb-doc_2.8.1-3_all.deb                   28-Oct-2016 15:56               11710
libflint-arb1_2.8.1-3_amd64.deb                    28-Oct-2016 15:26              838904
libflint-arb2_2.16.0-2_amd64.deb                   15-Jan-2019 10:27              914712