diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-31 14:10:02 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-02-06 18:37:59 +0100 |
| commit | 4a0c71f9f70fd2f2891848e272b3f81e3fabcf86 (patch) | |
| tree | ec0832137ae0bc48e80b9a0e3c7ae024eba2680d /gnu/packages/gcc.scm | |
| parent | b9a3654e09948d56945f8f6aa68de5183d17df9b (diff) | |
gnu: isl: Update to 0.22.1.
* gnu/packages/gcc.scm (isl): Update to 0.22.1.
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 40cc9ed631..94f7e15382 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -871,7 +871,7 @@ as the 'native-search-paths' field." (define-public isl (package (name "isl") - (version "0.21") + (version "0.22.1") (source (origin (method url-fetch) (uri (list (string-append @@ -882,7 +882,7 @@ as the 'native-search-paths' field." name "-" version ".tar.bz2"))) (sha256 (base32 - "0ng8l3q1px9lkzb44nxnzhh6fhdbclrwng9xs2v9m8yii8gs336i")))) + "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs")))) (build-system gnu-build-system) (inputs `(("gmp" ,gmp))) (home-page "http://isl.gforge.inria.fr/") |