summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/kissat: new package; add 3.0.0Maciej Barć2023-01-103-0/+57