@comment $OpenBSD: PLIST,v 1.1.1.1 2009/09/17 21:12:04 jasper Exp $
@name minisat-1.14p1
@comment subdir=math/minisat cdrom=yes ftp=yes
@arch hppa
+DESC
@sha Nofc6n2dpTMRkcCdwgCm5fzp3adPVxSQm/5mb9vAlWU=
@size 981
@wantlib c.56.0
@wantlib m.5.2
@wantlib stdc++.50.0
@wantlib z.4.1
@cwd /usr/local
@bin bin/minisat
@sha 5Ku9MmafoWudwPRj/MXxWzQIMRm/Vaw86n24nbhrsUI=
@size 63744
share/doc/minisat/
share/doc/minisat/MiniSat.ps
@sha iNvr7ZmiwZffSf4aej/eh2e1kKJB3wCjTyMP0GTNx7k=
@size 300604
