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