/math/minisat/
../
DESCR
Makefile
PLIST
distinfo
patches