%DEPENDS%
gcc-libs
zlib

%CONFLICTS%
cryptominisat

%PROVIDES%
cryptominisat

