summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/gappalib-coq: new package; add 1.5.2Maciej Barć2022-12-243-0/+53