@name sbsat-2.7b_4
@portname sbsat
@portepoch 0
@portversion 2.7b
@portrevision 4
@archs i386
@pkgdep libcxx-5.0.1_5
@macports_version 2.12.6
@os.subplatform macosx
@os.version 10.8.0
@macos_version 10.6.8
@xcodeversion 3.2.6
@source_date_epoch 1585151345
opt/local/bin/aigtoaig
@comment MD5:f7b91c810b3a0c7cea2810871e7a5a1b
@comment binary:1
opt/local/bin/gentest
@comment MD5:aef556203b904c4e7c68b73f9cda5732
@comment binary:1
opt/local/bin/sbsat
@comment MD5:7b0f31acd9b3d340fadfe3893bebb5a1
@comment binary:1
opt/local/share/man/man1/sbsat.1.gz
@comment MD5:c41cded135e0c94910f0f908f1fe9bdc
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
