@name boolector-3.2.4_0
@portname boolector
@portepoch 0
@portversion 3.2.4
@portrevision 0
@archs x86_64
@pkgdep btor2tools-20230816_0
@pkgdep gmp-6.3.0_0
opt/local/bin/boolector
@comment MD5:a0498f7642f36f2492dc0cda2bfa3a2a
@comment binary:1
opt/local/bin/btormc
@comment MD5:4df9e251d44f208bb8b24def6223cac4
@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:3ef7fa27fca07aea639647b86d644670
@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
