@cwd /usr/pkg
@name z3-4.13.0
@blddep libatomic-13.2.0
@pkgdep libatomic>=12.1.0nb1
@blddep digest-20220214
@blddep python312-3.12.8nb1
@blddep cmake-3.31.1
@blddep mktools-20220614
@blddep cwrappers-20220403
@blddep checkperms-1.12
@comment $NetBSD: PLIST,v 1.6 2024/08/13 09:21:07 adam Exp $
bin/z3
@comment MD5:dfbd907654a20fccec1e78193e2499b6
include/z3++.h
@comment MD5:66f65d64873f6f157f0aa6eac7643822
include/z3.h
@comment MD5:410b2c82cb60876114f6722b49a5f1b1
include/z3_algebraic.h
@comment MD5:eed96a98ccca879c61f29f7590945557
include/z3_api.h
@comment MD5:5d0ecf3854b8da9443c80015aa7260f3
include/z3_ast_containers.h
@comment MD5:f3453f709c563f03d747f41c85eabe2d
include/z3_fixedpoint.h
@comment MD5:3d76b391f3d00fc5ecba31aa2f80f17e
include/z3_fpa.h
@comment MD5:2967106c6fc5df56a7208894a7cd1953
include/z3_macros.h
@comment MD5:b135b9b51425ecaf3e03393494cda2a6
include/z3_optimization.h
@comment MD5:9bca617d5a0477695f6eae0314a59f97
include/z3_polynomial.h
@comment MD5:158eba9164719d95da61ead07ca3f48c
include/z3_rcf.h
@comment MD5:832c89329462f994b3d3f402fa706683
include/z3_spacer.h
@comment MD5:00c787bc68f664447845ea793ea2f222
include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
include/z3_version.h
@comment MD5:a38d8af1f3aa0160ddda6951955c0dc7
lib/cmake/z3/Z3Config.cmake
@comment MD5:c38ce9e3eed73423be28641418219653
lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:a1eaeb2e3b5a161443e837bcfe8763ce
lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
@comment MD5:2a99bd43f5ede791d2e353474ec0513f
lib/cmake/z3/Z3Targets.cmake
@comment MD5:0e5cf2b2d3be17022bd2c26371b8087b
lib/libz3.so
@comment Symlink:libz3.so.4.13
lib/libz3.so.4.13
@comment Symlink:libz3.so.4.13.0.0
lib/libz3.so.4.13.0.0
@comment MD5:d27a114eef9c9efcc07903a5ef51c273
lib/pkgconfig/z3.pc
@comment MD5:9d31fee252429f3b8dcb2529796bd823
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
