pkgsrc-wip/picosat
..
DESCR
distinfo
Makefile
PLIST