@comment $NetBSD: PLIST,v 1.1 2015/11/24 05:45:58 dholland Exp $
bin/z3
include/z3++.h
include/z3.h
include/z3_algebraic.h
include/z3_api.h
include/z3_fpa.h
include/z3_interp.h
include/z3_macros.h
include/z3_polynomial.h
include/z3_rcf.h
include/z3_v1.h
lib/libz3.so
${PYSITELIB}/libz3.so
${PYSITELIB}/z3.py
${PYSITELIB}/z3.pyc
${PYSITELIB}/z3consts.py
${PYSITELIB}/z3consts.pyc
${PYSITELIB}/z3core.py
${PYSITELIB}/z3core.pyc
${PYSITELIB}/z3num.py
${PYSITELIB}/z3num.pyc
${PYSITELIB}/z3poly.py
${PYSITELIB}/z3poly.pyc
${PYSITELIB}/z3printer.py
${PYSITELIB}/z3printer.pyc
${PYSITELIB}/z3rcf.py
${PYSITELIB}/z3rcf.pyc
${PYSITELIB}/z3test.py
${PYSITELIB}/z3test.pyc
${PYSITELIB}/z3types.py
${PYSITELIB}/z3types.pyc
${PYSITELIB}/z3util.py
${PYSITELIB}/z3util.pyc