@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
@pkgdep legacy-support-1.3.0_0
opt/local/bin/boolector
@comment MD5:b84f294548a24ddc2996c8686b789577
@comment binary:1
opt/local/bin/btormc
@comment MD5:218c522f2f939dc55fbd0239869f89af
@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:d25d70971cad61461e140ee6c494a41f
@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
