../ flint-debuginfo/ 25-Dec-2018 10:31 - libflint/ 01-Mar-2018 08:33 - libflint-devel/ 25-Dec-2018 10:31 - libflint13/ 25-Dec-2018 10:31 - flint-2.4.5-1-src.tar.xz 16-May-2015 01:41 2M flint-2.4.5-1.hint 16-May-2015 01:41 6 flint-2.5.2-1-src.tar.xz 31-Dec-2017 04:22 2M flint-2.5.2-1.hint 31-Dec-2017 04:22 112 flint-2.5.2-2-src.tar.xz 25-Dec-2018 10:26 2M flint-2.5.2-2.hint 25-Dec-2018 10:26 112 md5.sum 16-May-2015 11:44 149 sha512.sum 25-Dec-2018 10:44 1050