Summary: Library for manipulating sets and relations of integer points bounded by linear constraints
Summary(pl.UTF-8): Biblioteka operacji na zbiorach i relacjach punktów całkowitoliczbowych z ograniczeniami liniowymi
Name: isl
-Version: 0.13
+Version: 0.14
Release: 1
License: MIT
Group: Libraries
Source0: http://isl.gforge.inria.fr/%{name}-%{version}.tar.xz
-# Source0-md5: c9fa72eb44de30485bde3cd8b9fc50f9
+# Source0-md5: 3d6b6a1cddd165fae2af5487c5531b09
URL: http://freecode.com/projects/isl
BuildRequires: gmp-devel
BuildRequires: rpm-pythonprov