@comment $OpenBSD: PLIST,v 1.3 2011/11/02 19:18:35 sthen Exp $
@name minisat-2.2.0p0
@signer openbsd-57-pkg
@digital-signature signify:2015-03-26T14:41:32Z:RWTJ1iHLn/zcvNZk97oxgZwK3JJ2E+n/qqkU/nq/0rQabAWnJ7K8myMZ2xtNpH5HEI0Enok6RuwOGFFwI+1DLPwumOWPTXUVNAI=
@comment pkgpath=math/minisat cdrom=yes ftp=yes
@arch alpha
+DESC
@sha OD47d3MlpUq9RdimQcIBktIvPQz4+eQf9XNejJXZw1g=
@size 1145
@wantlib c.78.1
@wantlib m.9.0
@wantlib stdc++.57.0
@wantlib z.5.0
@cwd /usr/local
@bin bin/minisat
@sha fQh2aEc7tBxW0EOycqJArlQtSljc+ceQ5vvQMkGg9RI=
@size 86192
@ts 1427269770
@bin bin/minisats
@sha lGFqBhc8ostkGZ/hprpWaAOhiO7IHIdznvP4hBs0f+E=
@size 131504
@ts 1427269770
share/doc/minisat/
share/doc/minisat/MiniSat.pdf
@sha Uxl9vXg8kkomJ9deMFcGKXmISUJlvV5eyHOEDl15esQ=
@size 327416
@ts 1427269771
