From a2d72caaf3099a332a6cc64355fba37a5995eda2 Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Mon, 22 May 2017 10:24:26 +0200
Subject: [PATCH] isl: Update to 0.18 (#2494)

---
 mingw-w64-isl/PKGBUILD | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mingw-w64-isl/PKGBUILD b/mingw-w64-isl/PKGBUILD
index 91ec0828eb..e260e21579 100644
--- a/mingw-w64-isl/PKGBUILD
+++ b/mingw-w64-isl/PKGBUILD
@@ -3,7 +3,7 @@
 _realname=isl
 pkgbase=mingw-w64-${_realname}
 pkgname=("${MINGW_PACKAGE_PREFIX}-${_realname}")
-pkgver=0.17.1
+pkgver=0.18
 pkgrel=1
 pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64)"
 arch=('any')
@@ -14,7 +14,7 @@ options=('staticlibs')
 license=('MIT')
 source=("http://isl.gforge.inria.fr/${_realname}-${pkgver}.tar.xz"
         isl-0.14.1-no-undefined.patch)
-sha256sums=('be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647'
+sha256sums=('0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4'
             '83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b')
 
 prepare() {