@comment $OpenBSD: PLIST,v 1.3 2011/11/02 19:18:35 sthen Exp $
@bin bin/minisat
@bin bin/minisats
share/doc/minisat/
share/doc/minisat/MiniSat.pdf
