summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-lang/polyml: dev-libs/gmp slot; no need for --disable-staticMaciej Barć14 min.