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