summaryrefslogtreecommitdiff
path: root/dev-libs/picosat
Commit message (Expand)AuthorAge
* dev-libs/picosat: add new packageKarel Kočí2021-09-20