@name z3-4.13.4_0+lto+polly+polly_late+polly_vector+threads
@portname z3
@portepoch 0
@portversion 4.13.4
@portrevision 0
@archs arm64
@portvariant +lto
@portvariant +polly
@portvariant +polly_late
@portvariant +polly_vector
@portvariant +threads
opt/local/bin/qprofdiff
@comment MD5:4767a5659b67d41adef84925a7f52ca4
@comment binary:1
opt/local/bin/z3
@comment MD5:552877868ba1c66dcb56df9173bec9b0
@comment binary:1
opt/local/include/z3++.h
@comment MD5:70a5ea4623ce380b091bb0646a9cd9ae
@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:28275fade55bb20005913228f2d378d8
@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:478e6ad29486415a07d602bfba1a8652
@comment binary:0
opt/local/lib/cmake/z3/Z3Config.cmake
@comment MD5:5adbfe07647b4f986c8fd746adef2161
@comment binary:0
opt/local/lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:4a0927c8ef4cc2a3093915b79609cd74
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets-release.cmake
@comment MD5:df3b3790865fa5ac8111f8f01227494c
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets.cmake
@comment MD5:f9625d6a94e0ca23ef50b03820c92ba0
@comment binary:0
opt/local/lib/libz3.4.13.4.0.dylib
@comment MD5:2cd30ae361771863be0bb4fe262ea272
@comment binary:1
opt/local/lib/libz3.4.13.dylib
@comment MD5:2cd30ae361771863be0bb4fe262ea272
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:d2e32a5fb692e63023084f966a919a74
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:2cd30ae361771863be0bb4fe262ea272
@comment binary:0
opt/local/lib/pkgconfig/z3.pc
@comment MD5:56c09214e2baf215bf2227407de0ed2c
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
