libisl: Update from 0.18 to 0.19

This commit is contained in:
Fredrik Fornwall 2018-03-14 17:02:15 +01:00
parent 9d9d427d84
commit 070524f61e

View File

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