%DEPENDS%
python2
z3-codeplex

%PROVIDES%
sea

%MAKEDEPENDS%
git

