diff options
Diffstat (limited to 'math/z3/pkg-plist')
-rw-r--r-- | math/z3/pkg-plist | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 67095dc03f5c..44cb7828d1db 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -16,24 +16,3 @@ include/z3_v1.h %%STATIC%%lib/libz3.a lib/libz3.so lib/libz3.so.0 -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/lib/libz3.so -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.pyc |