gnu: isl: Update to 0.19.

* gnu/packages/gcc.scm (isl): Update to 0.19.
2018-06-11 02:35:27 +02:00 · 2018-06-11 02:35:27 +02:00 · 5b5a8d6b21
commit 5b5a8d6b21
parent 5ccd6e2b53
1 changed files with 2 additions and 2 deletions
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@ -816,7 +816,7 @@ (define-public libstdc++-doc-5
 (define-public isl
  (package
    (name "isl")
-    (version "0.18")
+    (version "0.19")
    (source (origin
             (method url-fetch)
             (uri (list (string-append
@ -827,7 +827,7 @@ (define-public isl
                                       name "-" version ".tar.gz")))
             (sha256
              (base32
-               "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))
+               "1n4yz9rj24mv226hqbpw210ifvqkn8dgvpnkzf0s0lkq9zrjd5ym"))))
    (build-system gnu-build-system)
    (inputs `(("gmp" ,gmp)))
    (home-page "http://isl.gforge.inria.fr/")