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      2M
libflint-2.4.5_2.4.5-4_amd64.deb                   17-May-2015 03:57    722K
libflint-2.4.5_2.4.5-4_i386.deb                    17-May-2015 06:13    783K
libflint-2.5.2_2.5.2-15_amd64.deb                  24-Jan-2017 09:14    885K
libflint-2.5.2_2.5.2-15_i386.deb                   24-Jan-2017 09:14    976K
libflint-2.5.2_2.5.2-3_amd64.deb                   19-Sep-2015 00:23    894K
libflint-2.5.2_2.5.2-3_i386.deb                    19-Sep-2015 01:29    987K
libflint-dev_2.5.2-15_amd64.deb                    24-Jan-2017 09:14    146K
libflint-dev_2.5.2-15_i386.deb                     24-Jan-2017 09:14    146K
libflint-dev_2.5.2-3_amd64.deb                     19-Sep-2015 00:23    146K
libflint-dev_2.5.2-3_i386.deb                      19-Sep-2015 01:29    145K
libflint-doc_2.5.2-15_all.deb                      24-Jan-2017 09:14      2M
libflint-doc_2.5.2-3_all.deb                       19-Sep-2015 00:23      2M