@comment $OpenBSD: PLIST,v 1.1.1.1 2009/09/17 21:12:04 jasper Exp $
@name minisat-1.14p0
@comment subdir=math/minisat cdrom=yes ftp=yes
@arch i386
+DESC
@sha Nofc6n2dpTMRkcCdwgCm5fzp3adPVxSQm/5mb9vAlWU=
@size 981
@wantlib c.53.1
@wantlib m.5.2
@wantlib stdc++.49.0
@wantlib z.4.1
@cwd /usr/local
@bin bin/minisat
@sha XkWm7M4zMXxJ6sX/ngKascFNqUv9mh3BHkkTG/4KJZc=
@size 45540
share/doc/minisat/
share/doc/minisat/MiniSat.ps
@sha iNvr7ZmiwZffSf4aej/eh2e1kKJB3wCjTyMP0GTNx7k=
@size 300604
