summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/kind2: new package; add 1.9.0Maciej Barć2023-06-033-0/+65