@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 25.0.0
@macos_version 26.0
@xcodecltversion 26.0.0.0.1.1757719676
@ports_commit 4d13ba341b686a5370cbb0b29aa218ebb7c3f590
@source_date_epoch 1757073515
opt/local/bin/boolector
@comment MD5:3036e2e1fcf83ec49d99162644064b6f
@comment binary:1
opt/local/bin/btormc
@comment MD5:d24b33540235027b38b6ebbf895a27ef
@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:7b71848a8dca5eece51fba290e8f022e
@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
