@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@archs x86_64
@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 1779028234
opt/local/bin/btorsim
@comment MD5:3a8af9ab1f478a406180efc35826af3e
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:3604255d5c764a92ff622bcdffa7d041
@comment binary:1
opt/local/bin/catbtor
@comment MD5:f8df8b7bb4bab76cad9fc63d6041b619
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:22e71af03f0801896b8af8a7f1f9105c
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
