../ libflint-devel-2.4.5-1.hint 24-Mar-2016 04:59 153 libflint-devel-2.4.5-1.tar.xz 16-May-2015 01:39 351K libflint-devel-2.5.2-1.hint 31-Dec-2017 04:21 149 libflint-devel-2.5.2-1.tar.xz 31-Dec-2017 04:21 232K libflint-devel-2.5.2-2.hint 25-Dec-2018 10:22 149 libflint-devel-2.5.2-2.tar.xz 25-Dec-2018 10:22 232K md5.sum 25-Dec-2018 10:44 423 sha512.sum 25-Dec-2018 10:44 1092