%DEPENDS%
gmp

%PROVIDES%
isl
libisl.so=23-64

