@name z3-4.15.3_0+lto+polly+polly_late+polly_vector+threads
@portname z3
@portepoch 0
@portversion 4.15.3
@portrevision 0
@archs x86_64
@portvariant +lto
@portvariant +polly
@portvariant +polly_late
@portvariant +polly_vector
@portvariant +threads
@macports_version 2.11.5
@os.subplatform macosx
@os.version 22.6.0
@macos_version 13.7.1
@xcodecltversion 14.3.1.0.1.1683849156
@ports_commit f403859a69a14aa2a86197b2c59868b3f7be0d10
@source_date_epoch 1756520930
opt/local/bin/qprofdiff
@comment MD5:f35a1c14676dd56773a1888013ebad30
@comment binary:1
opt/local/bin/z3
@comment MD5:58d500de649dc5addbe58a54a0c02e2e
@comment binary:1
opt/local/include/z3++.h
@comment MD5:68cc88d56e70889f3901592379ec59f1
@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:95d0874264ea3097803bac77cc73d15f
@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:fd5b097ab6d0ac82264901761998ae93
@comment binary:0
opt/local/lib/cmake/z3/Z3Config.cmake
@comment MD5:847530e167c5d829c417360e1a0e14cd
@comment binary:0
opt/local/lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:f670cbdc832a707428e2d21d92a6d695
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets-release.cmake
@comment MD5:b090bc46fd87f6832e50559c523a1ac6
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets.cmake
@comment MD5:f9625d6a94e0ca23ef50b03820c92ba0
@comment binary:0
opt/local/lib/libz3.4.15.3.0.dylib
@comment MD5:84a6d76ff1b6eb154de3362ba89d54af
@comment binary:1
opt/local/lib/libz3.4.15.dylib
@comment MD5:84a6d76ff1b6eb154de3362ba89d54af
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:37ba167fd0c8c76439bbcecb7021491c
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:84a6d76ff1b6eb154de3362ba89d54af
@comment binary:0
opt/local/lib/pkgconfig/z3.pc
@comment MD5:d6700c3a8ff94e5118570102bcff962a
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
