@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
