../ libflint-devel-2.4.5-1.hint 24-Mar-2016 11:59 153 libflint-devel-2.4.5-1.tar.xz 16-May-2015 08:39 359244 libflint-devel-2.5.2-1.hint 31-Dec-2017 11:21 149 libflint-devel-2.5.2-1.tar.xz 31-Dec-2017 11:21 237312 libflint-devel-2.5.2-2.hint 25-Dec-2018 17:22 149 libflint-devel-2.5.2-2.tar.xz 25-Dec-2018 17:22 237204 md5.sum 25-Dec-2018 17:44 423 sha512.sum 25-Dec-2018 17:44 1092