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