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

../
flint_2.5.2-15.debian.tar.xz                       24-Jan-2017 08:28                7300
flint_2.5.2-15.dsc                                 24-Jan-2017 08:28                2195
flint_2.5.2-3.debian.tar.xz                        19-Sep-2015 00:23                4856
flint_2.5.2-3.dsc                                  19-Sep-2015 00:23                2122
flint_2.5.2.orig.tar.gz                            01-Sep-2015 04:35             2158692
libflint-2.4.5_2.4.5-4_amd64.deb                   17-May-2015 03:57              739550
libflint-2.4.5_2.4.5-4_i386.deb                    17-May-2015 06:13              802222
libflint-2.5.2_2.5.2-15_amd64.deb                  24-Jan-2017 09:14              906452
libflint-2.5.2_2.5.2-15_i386.deb                   24-Jan-2017 09:14              998946
libflint-2.5.2_2.5.2-3_amd64.deb                   19-Sep-2015 00:23              915658
libflint-2.5.2_2.5.2-3_i386.deb                    19-Sep-2015 01:29             1011130
libflint-dev_2.5.2-15_amd64.deb                    24-Jan-2017 09:14              149934
libflint-dev_2.5.2-15_i386.deb                     24-Jan-2017 09:14              149922
libflint-dev_2.5.2-3_amd64.deb                     19-Sep-2015 00:23              149592
libflint-dev_2.5.2-3_i386.deb                      19-Sep-2015 01:29              148274
libflint-doc_2.5.2-15_all.deb                      24-Jan-2017 09:14             2359840
libflint-doc_2.5.2-3_all.deb                       19-Sep-2015 00:23             2359110