@name z3-4.15.4_0+lto+polly+polly_late+polly_vector+threads
@portname z3
@portepoch 0
@portversion 4.15.4
@portrevision 0
@archs x86_64
@portvariant +lto
@portvariant +polly
@portvariant +polly_late
@portvariant +polly_vector
@portvariant +threads
@macports_version 2.11.6
@os.subplatform macosx
@os.version 19.6.0
@macos_version 10.15.7
@xcodecltversion 11.5.0.0.1.1588476445
@ports_commit 6bfb0b24bf05f48dad2d3cd2e19503d93cddea25
@source_date_epoch 1762788455
opt/local/bin/qprofdiff
@comment MD5:1c40ba6eb8ea33908178e7cfff03eff1
@comment binary:1
opt/local/bin/z3
@comment MD5:0f3cd63a6c7f1e0c22b79cb7412be53c
@comment binary:1
opt/local/include/z3++.h
@comment MD5:e91cc1ab2f3ba1f47b52a5a4d441b5d5
@comment binary:0
opt/local/include/z3.h
@comment MD5:410b2c82cb60876114f6722b49a5f1b1
@comment binary:0
opt/local/include/z3_algebraic.h
@comment MD5:eed96a98ccca879c61f29f7590945557
@comment binary:0
opt/local/include/z3_api.h
@comment MD5:7ab06d1c800eee9b736e8f2da167e566
@comment binary:0
opt/local/include/z3_ast_containers.h
@comment MD5:f3453f709c563f03d747f41c85eabe2d
@comment binary:0
opt/local/include/z3_fixedpoint.h
@comment MD5:3d76b391f3d00fc5ecba31aa2f80f17e
@comment binary:0
opt/local/include/z3_fpa.h
@comment MD5:2967106c6fc5df56a7208894a7cd1953
@comment binary:0
opt/local/include/z3_macros.h
@comment MD5:b135b9b51425ecaf3e03393494cda2a6
@comment binary:0
opt/local/include/z3_optimization.h
@comment MD5:f3a637dd382258b1d1b216c7c842d7df
@comment binary:0
opt/local/include/z3_polynomial.h
@comment MD5:158eba9164719d95da61ead07ca3f48c
@comment binary:0
opt/local/include/z3_rcf.h
@comment MD5:832c89329462f994b3d3f402fa706683
@comment binary:0
opt/local/include/z3_spacer.h
@comment MD5:143903084e9d12a00621fffd8af13919
@comment binary:0
opt/local/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
@comment binary:0
opt/local/include/z3_version.h
@comment MD5:7665e77b22824b71e75aee084fbc6b68
@comment binary:0
opt/local/lib/cmake/z3/Z3Config.cmake
@comment MD5:ee8af9f7169334d1a9d06d636d55c994
@comment binary:0
opt/local/lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:11ddd02f1146bd481ebda5880e24c54f
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets-release.cmake
@comment MD5:3acbb540e0e7652109cbdf3d1bc609e7
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets.cmake
@comment MD5:f9625d6a94e0ca23ef50b03820c92ba0
@comment binary:0
opt/local/lib/libz3.4.15.4.0.dylib
@comment MD5:203e6c04d156f36c6230e80e67986471
@comment binary:1
opt/local/lib/libz3.4.15.dylib
@comment MD5:203e6c04d156f36c6230e80e67986471
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:8f487da38e3e42e5850f68ebc96b3902
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:203e6c04d156f36c6230e80e67986471
@comment binary:0
opt/local/lib/pkgconfig/z3.pc
@comment MD5:f69417d0beb3bbabb8ae95ce95df9ff2
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
