@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@archs arm64
@macports_version 2.11.5
@os.subplatform macosx
@os.version 20.6.0
@macos_version 11.7.10
@xcodecltversion 13.0.0.0.1.1630607135
@ports_commit a88f4078e0c4a1bb4b72deb0c2bf0b0224ade1a1
@source_date_epoch 1757073515
opt/local/bin/btorsim
@comment MD5:64e96b8255fec1f5aa06c5a44a341e1b
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:554a7bd1d21234810083de1e309704d4
@comment binary:1
opt/local/bin/catbtor
@comment MD5:9c72148f58f7f73902a718e55613fcc6
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:8ded0d29af045f7f73e9cbfaf856e47e
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
