@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@archs arm64
@macports_version 2.12.6
@os.subplatform macosx
@os.version 27.0.0
@macos_version 27.0
@xcodecltversion 27.0.0.0.1788430756
@ports_commit c6226db238a7678adab23085f9d1f52bef41a430
@source_date_epoch 1779027720
opt/local/bin/btorsim
@comment MD5:3a2ce2d1ed0234a117da4ed989dd7d55
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:1020a1377a9a3c444bac53d1ecbabca5
@comment binary:1
opt/local/bin/catbtor
@comment MD5:09b8f82e06aa2b4498cc579ac5f77a07
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:acf2c5921bda00f6422e6d7f38cd116a
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
