@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
opt/local/bin/boolector
@comment MD5:af30b68c0d7d26bf6adc9296af1e9166
@comment binary:1
opt/local/bin/btormc
@comment MD5:6d8f87fff2d17a9b44e9aac8e0918130
@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:d46ba6dfacd598dea81a117fee2a5f2e
@comment binary:0
opt/local/lib/libboolector.dylib
@comment MD5:0350a09bbeeeb56a7f3bc30e5e68e837
@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
