summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/kissat: bump to 3.1.0Maciej Barć2023-08-151-0/+39