From d72aa9022152c2b89801c9d4a83949226e6972f1 Mon Sep 17 00:00:00 2001
From: Fredrik Fornwall <fredrik@fornwall.net>
Date: Mon, 30 Jul 2018 13:23:57 +0200
Subject: [PATCH] libisl: Update from 0.19 to 0.20

---
 packages/libisl/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/libisl/build.sh b/packages/libisl/build.sh
index fef08aaa1..a6de44bd2 100644
--- a/packages/libisl/build.sh
+++ b/packages/libisl/build.sh
@@ -1,6 +1,6 @@
 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_VERSION=0.19
-TERMUX_PKG_SHA256=6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5
+TERMUX_PKG_VERSION=0.20
+TERMUX_PKG_SHA256=a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa
 TERMUX_PKG_SRCURL=http://isl.gforge.inria.fr/isl-${TERMUX_PKG_VERSION}.tar.xz
 TERMUX_PKG_DEPENDS="libgmp"