@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@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 1779028333
opt/local/bin/btorsim
@comment MD5:906e2d10b315a3d595002d8c0e190040
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:57dfa22d10a682f52aa42e18d312f769
@comment binary:1
opt/local/bin/catbtor
@comment MD5:34237c10fb2e3179bb819ce5209c8284
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:444ff745146e1dbd5b40ab0b957530f0
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
