@name btor2tools-20230816_0
@portname btor2tools
@portepoch 0
@portversion 20230816
@portrevision 0
@archs arm64
@macports_version 2.11.5
@os.subplatform macosx
@os.version 25.0.0
@macos_version 26.0
@xcodecltversion 26.0.0.0.1.1757719676
@ports_commit 4d13ba341b686a5370cbb0b29aa218ebb7c3f590
@source_date_epoch 1757073515
opt/local/bin/btorsim
@comment MD5:bbcf2edf9d6d80853ac0332848663ef3
@comment binary:1
opt/local/bin/btorsplit
@comment MD5:8e129697b99d0930d50bcd49f56bc1a1
@comment binary:1
opt/local/bin/catbtor
@comment MD5:ad4d1ebe98771210d33e577719a91c9d
@comment binary:1
opt/local/include/btor2parser.h
@comment MD5:b8679e8590dabebd03d2c43000660832
@comment binary:0
opt/local/lib/libbtor2parser.dylib
@comment MD5:76fbe574feb30fc85d907b3831b3963e
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
