summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/picosat: fix patch applyMaciej Barć2022-12-061-1/+4
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-064-0/+58