summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0Maciej Barć2022-09-071-0/+26