summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--flint-2.7.1-fix-cmake-findgmp.patch5721logplain