@name minisat-2.2.0_1
@portname minisat
@portepoch 0
@portversion 2.2.0
@portrevision 1
@archs arm64
@pkgdep zlib-1.3.1_0
opt/local/bin/minisat
@comment MD5:d93b1bb3591138008476bbebe88a68b1
@comment binary:1
opt/local/share/doc/minisat/LICENSE
@comment MD5:878eeefb2214c36db1f068609e7ce90a
@comment binary:0
opt/local/share/doc/minisat/README
@comment MD5:f9f4d287270bc911470e0a21f71c530f
@comment binary:0
opt/local/share/doc/minisat/ReleaseNotes-2.2.0.txt
@comment MD5:2b88b4177db845b0b2e4b04f30bc9ea9
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
