summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/kissat: bump to 3.1.1Maciej Barć2023-10-111-0/+39