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.17.1
4 TERMUX_PKG_SRCURL
=http
://isl.gforge.inria.fr
/isl-
${TERMUX_PKG_VERSION}.
tar.xz
5 TERMUX_PKG_DEPENDS
="libgmp"