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