@cwd /usr/pkg
@name z3-4.14.0
@blddep gcc12-libs-12.4.0nb3
@pkgdep gcc12-libs>=12.1.0
@blddep digest-20220214
@blddep python312-3.12.9
@blddep cmake-3.31.6
@blddep mktools-20250213
@blddep cwrappers-20220403
@blddep gcc12-12.4.0nb1
@comment $NetBSD: PLIST,v 1.7 2025/02/20 10:27:00 adam Exp $
bin/z3
@comment MD5:547aa4181929bdc170c4f3b1cffd574d
include/z3++.h
@comment MD5:2f7d454d333c58bba868bb9a752056e4
include/z3.h
@comment MD5:410b2c82cb60876114f6722b49a5f1b1
include/z3_algebraic.h
@comment MD5:eed96a98ccca879c61f29f7590945557
include/z3_api.h
@comment MD5:61d1c0569dbaf847a2525972f915b7a8
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:f3a637dd382258b1d1b216c7c842d7df
include/z3_polynomial.h
@comment MD5:158eba9164719d95da61ead07ca3f48c
include/z3_rcf.h
@comment MD5:832c89329462f994b3d3f402fa706683
include/z3_spacer.h
@comment MD5:143903084e9d12a00621fffd8af13919
include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
include/z3_version.h
@comment MD5:6f499795655c0105571266044bbf7299
lib/cmake/z3/Z3Config.cmake
@comment MD5:ec5b4dda40e553f6885e9ef64b6e1986
lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:62ac0c321f7cc0ee5663fe9de270256e
lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
@comment MD5:77189065251a541182681bd978b197e5
lib/cmake/z3/Z3Targets.cmake
@comment MD5:0e5cf2b2d3be17022bd2c26371b8087b
lib/libz3.so
@comment Symlink:libz3.so.4.14
lib/libz3.so.4.14
@comment Symlink:libz3.so.4.14.0.0
lib/libz3.so.4.14.0.0
@comment MD5:34d585e6a8aacea8a5aa01b48e34bfa6
lib/pkgconfig/z3.pc
@comment MD5:26c92d2d4bc9a1b0daf989d9e5fd93e6
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
