../ flint-debuginfo/ 01-Mar-2018 15:32 - libflint/ 01-Mar-2018 15:32 - libflint-devel/ 01-Mar-2018 15:32 - libflint13/ 31-Dec-2017 14:44 - flint-2.4.5-1-src.tar.xz 16-May-2015 08:38 1622696 flint-2.4.5-1.hint 16-May-2015 08:38 6 flint-2.5.2-1-src.tar.xz 31-Dec-2017 11:21 2186268 flint-2.5.2-1.hint 31-Dec-2017 11:21 112 md5.sum 01-Mar-2018 16:14 269 sha512.sum 01-Mar-2018 16:14 746