diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-11 02:35:27 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-12 15:06:20 +0200 |
| commit | 5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed (patch) | |
| tree | 32c1cb1a25db724a4f98cacdfacd5409df86202b /gnu/packages/gcc.scm | |
| parent | 5ccd6e2b53758ff770826820091df34f8a1fb087 (diff) | |
| download | patches-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar patches-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar.gz | |
gnu: isl: Update to 0.19.
* gnu/packages/gcc.scm (isl): Update to 0.19.
Diffstat (limited to 'gnu/packages/gcc.scm')
| -rw-r--r-- | gnu/packages/gcc.scm | 4 |
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/") |