@cwd /usr/pkg
@name z3-4.12.5
@blddep libatomic-13.2.0
@pkgdep libatomic>=12.1.0nb1
@blddep digest-20220214
@blddep python311-3.11.8
@blddep cmake-3.28.4
@blddep mktools-20220614
@blddep cwrappers-20220403
@blddep checkperms-1.12
@comment $NetBSD: PLIST,v 1.5 2023/05/11 06:43:43 adam Exp $
bin/z3
@comment MD5:3e4e94c655a05005b7ca0fff36e72f60
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:39343a9be62a677052e7f5f88ebd2135
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:49f8d5d671f9153cc85062b15561ce57
lib/cmake/z3/Z3Config.cmake
@comment MD5:feb0dc5a3e8bd2a027ac50b11cacbffe
lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:955e84280c1982bdc38499d0038e6263
lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
@comment MD5:4a24b6d1a9d2a0d99e8e8910399f4b70
lib/cmake/z3/Z3Targets.cmake
@comment MD5:da3e85e94c8a936a32d52ab2c3acdeb0
lib/libz3.so
@comment Symlink:libz3.so.4.12
lib/libz3.so.4.12
@comment Symlink:libz3.so.4.12.5.0
lib/libz3.so.4.12.5.0
@comment MD5:b0065ed0b4e26fa75494187977887ea7
lib/pkgconfig/z3.pc
@comment MD5:578d62141c27fc5478943d11a63a8076
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
