From e87e88ab9e0fb735bdd9ab3b406badd68d666ff6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ertu=C4=9Frul=20Erata?= <ertugrulerata@gmail.com>
Date: Fri, 27 Jan 2017 11:26:37 +0300
Subject: [PATCH] isl update

---
 system/devel/isl/pspec.xml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/system/devel/isl/pspec.xml b/system/devel/isl/pspec.xml
index e2d681a0..1b5dbcfe 100644
--- a/system/devel/isl/pspec.xml
+++ b/system/devel/isl/pspec.xml
@@ -12,7 +12,7 @@
         <IsA>library</IsA>
         <Summary>Integer Set Library</Summary>
         <Description>isl is a library for manipulating sets and relations of integer points bounded by linear constraints.</Description>
-        <Archive sha1sum="c5a2b201bf05229647e73203c0bf2d9679d4d21f" type="tarbz2">http://isl.gforge.inria.fr/isl-0.16.1.tar.bz2</Archive>
+        <Archive sha1sum="bbffc5a2b05e4f0c97e882f96c448504491dc4ed" type="tarbz2">http://isl.gforge.inria.fr/isl-0.18.tar.bz2</Archive>
         <BuildDependencies>
             <Dependency>gmp-devel</Dependency>
         </BuildDependencies>
@@ -42,6 +42,13 @@
     </Package>
 
     <History>
+        <Update release="3">
+            <Date>2017-01-27</Date>
+            <Version>0.18</Version>
+            <Comment>Version bump.</Comment>
+            <Name>Ertuğrul Erata</Name>
+            <Email>ertugrulerata@gmail.com</Email>
+        </Update>
         <Update release="2">
             <Date>2016-04-27</Date>
             <Version>0.16.1</Version>