@name boolector-3.2.4_0
@portname boolector
@portepoch 0
@portversion 3.2.4
@portrevision 0
@archs arm64
@pkgdep btor2tools-20230816_0
@pkgdep gmp-6.3.0_0
@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/boolector
@comment MD5:465b15e3e682cf70cf4cba2fde5163db
@comment binary:1
opt/local/bin/btormc
@comment MD5:8a40112cb7a7e705aaf2caf0c831254a
@comment binary:1
opt/local/include/boolector/boolector.h
@comment MD5:205af9014dcdf9d0605af129a20902c4
@comment binary:0
opt/local/include/boolector/btortypes.h
@comment MD5:cdd4a432d1b1b9d2aedfcb4412743a2b
@comment binary:0
opt/local/lib/cmake/Boolector/BoolectorConfig.cmake
@comment MD5:9e5406f6da993c6299a36458f4b5d639
@comment binary:0
opt/local/lib/cmake/Boolector/BoolectorConfigVersion.cmake
@comment MD5:b6bea84a15eb0fb582b59a16c899d1ea
@comment binary:0
opt/local/lib/cmake/Boolector/BoolectorTargets-macports.cmake
@comment MD5:96f1bf9b1bc0b9e3b8e64c2c7935af2b
@comment binary:0
opt/local/lib/cmake/Boolector/BoolectorTargets.cmake
@comment MD5:349fb46a243d6bd2765a3e3e861e64d3
@comment binary:0
opt/local/lib/libboolector.dylib
@comment MD5:0131ae2628ac8b4d3cdfecabb9f18b30
@comment binary:1
opt/local/share/doc/boolector/AUTHORS
@comment MD5:29e7acc96153108ea6b7720c2dacf4a2
@comment binary:0
opt/local/share/doc/boolector/COPYING
@comment MD5:7c2823721d5a44205b97299506846bea
@comment binary:0
opt/local/share/doc/boolector/NEWS
@comment MD5:32af4129f52efc7c4b5887fe4a2146f1
@comment binary:0
opt/local/share/doc/boolector/README.md
@comment MD5:aff0477f367dbae9230be996e60dd70d
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
