summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-061-0/+13