%DEPENDS%
python
libz3

%OPTDEPENDS%
python2-setuptools: bindings for python2

