/dev-libs/picosat/
../
Manifest
picosat-965.ebuild