summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/kissat: bump to 3.1.0Maciej Barć2023-08-152-0/+40
* sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27Ionen Wolkens2023-02-151-0/+2
* sci-mathematics/kissat: new package; add 3.0.0Maciej Barć2023-01-103-0/+57