@comment $NetBSD: PLIST,v 1.5 2023/05/11 06:43:43 adam Exp $ bin/z3 include/z3++.h include/z3.h include/z3_algebraic.h include/z3_api.h include/z3_ast_containers.h include/z3_fixedpoint.h include/z3_fpa.h include/z3_macros.h include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h include/z3_spacer.h include/z3_v1.h include/z3_version.h lib/cmake/z3/Z3Config.cmake lib/cmake/z3/Z3ConfigVersion.cmake lib/cmake/z3/Z3Targets-relwithdebinfo.cmake lib/cmake/z3/Z3Targets.cmake lib/libz3.so lib/libz3.so.4.12 lib/libz3.so.${PKGVERSION}.0 lib/pkgconfig/z3.pc