@comment $OpenBSD: PLIST,v 1.3 2018/09/15 13:27:29 rsadowski Exp $
@bin 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_interp.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
@lib lib/libz3.so.${LIBz3_VERSION}
lib/python${MODPY_VERSION}/site-packages/z3/
lib/python${MODPY_VERSION}/site-packages/z3/__init__.py
lib/python${MODPY_VERSION}/site-packages/z3/__init__.pyc
lib/python${MODPY_VERSION}/site-packages/z3/lib/
@lib lib/python${MODPY_VERSION}/site-packages/z3/lib/libz3.so.${LIBz3_VERSION}
lib/python${MODPY_VERSION}/site-packages/z3/z3.py
lib/python${MODPY_VERSION}/site-packages/z3/z3.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3consts.py
lib/python${MODPY_VERSION}/site-packages/z3/z3consts.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3core.py
lib/python${MODPY_VERSION}/site-packages/z3/z3core.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3num.py
lib/python${MODPY_VERSION}/site-packages/z3/z3num.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3poly.py
lib/python${MODPY_VERSION}/site-packages/z3/z3poly.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3printer.py
lib/python${MODPY_VERSION}/site-packages/z3/z3printer.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3rcf.py
lib/python${MODPY_VERSION}/site-packages/z3/z3rcf.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3types.py
lib/python${MODPY_VERSION}/site-packages/z3/z3types.pyc
lib/python${MODPY_VERSION}/site-packages/z3/z3util.py
lib/python${MODPY_VERSION}/site-packages/z3/z3util.pyc
