From f8a7ce66dba4fcfa0a383a3b9aabbe6792f428f089eb16c310ecf21a7d4dd8dc Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.com>
Date: Mon, 8 Feb 2016 09:45:36 +0000
Subject: [PATCH] Accepting request 358177 from
 home:pluskalm:branches:devel:libraries:c_c++

- Update to 0.16.1
  * fix bug in simplification
- Changes for 0.16
  * add 32 bit integer optimization for IMath
  * minor AST generator improvements
  * add isl_union_flow_get_full_{may,must}_dependence
  * minor improvements to Python bindings
  * minor improvements to set and map printing

OBS-URL: https://build.opensuse.org/request/show/358177
OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=24
---
 isl-0.15.tar.xz   |  3 ---
 isl-0.16.1.tar.xz |  3 +++
 isl.changes       | 12 ++++++++++++
 isl.spec          |  2 +-
 4 files changed, 16 insertions(+), 4 deletions(-)
 delete mode 100644 isl-0.15.tar.xz
 create mode 100644 isl-0.16.1.tar.xz

diff --git a/isl-0.15.tar.xz b/isl-0.15.tar.xz
deleted file mode 100644
index 1398408..0000000
--- a/isl-0.15.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:104a608839771d809558f5fd7533ca1a3b8ee5a667c5dcd9dc3499bf0a1522d5
-size 1406988
diff --git a/isl-0.16.1.tar.xz b/isl-0.16.1.tar.xz
new file mode 100644
index 0000000..972b9dc
--- /dev/null
+++ b/isl-0.16.1.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:45292f30b3cb8b9c03009804024df72a79e9b5ab89e41c94752d6ea58a1e4b02
+size 1449164
diff --git a/isl.changes b/isl.changes
index 0815d67..e1c3b30 100644
--- a/isl.changes
+++ b/isl.changes
@@ -1,3 +1,15 @@
+-------------------------------------------------------------------
+Sun Feb  7 09:08:25 UTC 2016 - mpluskal@suse.com
+
+- Update to 0.16.1
+  * fix bug in simplification
+- Changes for 0.16
+  * add 32 bit integer optimization for IMath
+  * minor AST generator improvements
+  * add isl_union_flow_get_full_{may,must}_dependence
+  * minor improvements to Python bindings
+  * minor improvements to set and map printing
+
 -------------------------------------------------------------------
 Sun Jan 31 20:54:43 UTC 2016 - mpluskal@suse.com
 
diff --git a/isl.spec b/isl.spec
index f7f69c6..5ab6230 100644
--- a/isl.spec
+++ b/isl.spec
@@ -18,7 +18,7 @@
 
 %define islsover 15
 Name:           isl
-Version:        0.15
+Version:        0.16.1
 Release:        0
 Summary:        Integer Set Library
 License:        MIT