1 TERMUX_PKG_HOMEPAGE
=http
://isl.gforge.inria.fr
/
2 TERMUX_PKG_DESCRIPTION
="Library for manipulating sets and relations of integer points bounded by linear constraints"
3 TERMUX_PKG_VERSION
=0.18
4 TERMUX_PKG_SRCURL
=http
://isl.gforge.inria.fr
/isl-
${TERMUX_PKG_VERSION}.
tar.xz
5 TERMUX_PKG_SHA256
=0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4
6 TERMUX_PKG_DEPENDS
="libgmp"