../ flint-debuginfo/ 25-Dec-2018 10:31 - libflint/ 01-Mar-2018 08:32 - 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:38 2M flint-2.4.5-1.hint 16-May-2015 01:38 6 flint-2.5.2-1-src.tar.xz 31-Dec-2017 04:21 2M flint-2.5.2-1.hint 31-Dec-2017 04:21 112 flint-2.5.2-2-src.tar.xz 25-Dec-2018 10:22 2M flint-2.5.2-2.hint 25-Dec-2018 10:22 112 md5.sum 25-Dec-2018 10:44 381 sha512.sum 25-Dec-2018 10:44 1050