../ libflint-devel-2.7.0-1.hint 14-Jan-2021 14:23 149 libflint-devel-2.7.0-1.tar.xz 14-Jan-2021 14:23 368K libflint-devel-2.7.1-1.hint 04-Apr-2021 07:20 149 libflint-devel-2.7.1-1.tar.xz 04-Apr-2021 07:20 369K libflint-devel-2.8.4-1.hint 28-Nov-2021 19:40 149 libflint-devel-2.8.4-1.tar.xz 28-Nov-2021 19:40 400K sha512.sum 28-Nov-2021 19:44 954