@name z3-4.15.3_0+threads
@portname z3
@portepoch 0
@portversion 4.15.3
@portrevision 0
@archs ppc
@portvariant +threads
@pkgdep libgcc-9.0_0
@pkgdep legacy-support-1.5.1_0
@macports_version 2.11.5
@os.subplatform macosx
@os.version 10.8.0
@macos_version 10.6.8
@xcodeversion 3.2.6
@source_date_epoch 1756540565
opt/local/bin/qprofdiff
@comment MD5:7a8755e1e2a4e586a2f39b101cbea5fd
@comment binary:1
opt/local/bin/z3
@comment MD5:8005cc67ff914174a99fe2c75072ee64
@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:9fe9edb2ab2c2c4c7b5d8945e2d9622e
@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:ecaa49965815358bf71bb8fa76554ee1
@comment binary:0
opt/local/lib/libz3.4.15.3.0.dylib
@comment MD5:2f06da14d15ee5b7ce0941d65dbcf2ac
@comment binary:1
opt/local/lib/libz3.4.15.dylib
@comment MD5:2f06da14d15ee5b7ce0941d65dbcf2ac
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:44b8e523156b2ce51f763c23990c8e62
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:2f06da14d15ee5b7ce0941d65dbcf2ac
@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 libstdc++
@cxx_stdlib_overridden 1
