aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-06-11 02:35:27 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2018-06-12 15:06:20 +0200
commit5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed (patch)
tree32c1cb1a25db724a4f98cacdfacd5409df86202b
parent5ccd6e2b53758ff770826820091df34f8a1fb087 (diff)
downloadguix-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar
guix-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar.gz
gnu: isl: Update to 0.19.
* gnu/packages/gcc.scm (isl): Update to 0.19.
-rw-r--r--gnu/packages/gcc.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 5012d9a913..2ab70c107c 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -816,7 +816,7 @@ as the 'native-search-paths' field."
(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 @@ as the 'native-search-paths' field."
name "-" version ".tar.gz")))
(sha256
(base32
- "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))
+ "1n4yz9rj24mv226hqbpw210ifvqkn8dgvpnkzf0s0lkq9zrjd5ym"))))
(build-system gnu-build-system)
(inputs `(("gmp" ,gmp)))
(home-page "http://isl.gforge.inria.fr/")