From 3a21ee6fedeaecc719cea2f6b11907715361b02c Mon Sep 17 00:00:00 2001
From: Mark Brand <mabrand@mabrand.nl>
Date: Fri, 14 Feb 2014 09:15:57 +0100
Subject: update package isl

---
 src/isl.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/isl.mk b/src/isl.mk
index 0d3a47f..2b4cea4 100644
--- a/src/isl.mk
+++ b/src/isl.mk
@@ -3,8 +3,8 @@
 
 PKG             := isl
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 0.11.1
-$(PKG)_CHECKSUM := d7936929c3937e03f09b64c3c54e49422fa8ddb3
+$(PKG)_VERSION  := 0.12.2
+$(PKG)_CHECKSUM := ca98a91e35fb3ded10d080342065919764d6f928
 $(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.bz2
 $(PKG)_URL      := ftp://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE)
-- 
cgit v0.12