@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 23.6.0
@macos_version 14.8.1
@xcodecltversion 15.3.0.0.1.1708646388
@ports_commit 6bfb0b24bf05f48dad2d3cd2e19503d93cddea25
@source_date_epoch 1762788455
opt/local/bin/qprofdiff
@comment MD5:669ae91b72c207d0cd40e7c7f70eb490
@comment binary:1
opt/local/bin/z3
@comment MD5:f227d159d241e1b18774d9bbcc7854bf
@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:7e639768f5fb4b1710da913bdd217f9b
@comment binary:1
opt/local/lib/libz3.4.15.dylib
@comment MD5:7e639768f5fb4b1710da913bdd217f9b
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:ee778dfb6b46bdc6cb0000691ba602f8
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:7e639768f5fb4b1710da913bdd217f9b
@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
