%DEPENDS%
gmp

%PROVIDES%
zarith

