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


../
flint-arb_2.8.1-3.debian.tar.xz                    29-Oct-2016 00:29                5876
flint-arb_2.8.1-3.dsc                              29-Oct-2016 00:29                2131
flint-arb_2.8.1.orig.tar.gz                        19-Apr-2016 00:56             1039005
libflint-arb-dev_2.8.1-3_amd64.deb                 29-Oct-2016 02:26               31148
libflint-arb-dev_2.8.1-3_i386.deb                  29-Oct-2016 02:41               31146
libflint-arb-doc_2.8.1-3_all.deb                   29-Oct-2016 02:56               11710
libflint-arb1_2.8.1-3_amd64.deb                    29-Oct-2016 02:26              838904
libflint-arb1_2.8.1-3_i386.deb                     29-Oct-2016 02:41              920326