diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-06-20 14:41:41 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-06-20 23:56:58 +0200 |
| commit | 8449cc133aac735cceb1caf1910506dfab099e40 (patch) | |
| tree | ff49313e08a659ba82017ddb466e4fc5b2177482 /gnu | |
| parent | 9f1da6ced3ea41cee93b5a1944a5526c6805359d (diff) | |
| download | patches-8449cc133aac735cceb1caf1910506dfab099e40.tar patches-8449cc133aac735cceb1caf1910506dfab099e40.tar.gz | |
gnu: isl: Update to 0.21.
* gnu/packages/gcc.scm (isl): Update to 0.21.
Diffstat (limited to 'gnu')
| -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 5d4acbce8a..41d66fc130 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -860,7 +860,7 @@ as the 'native-search-paths' field." (define-public isl (package (name "isl") - (version "0.19") + (version "0.21") (source (origin (method url-fetch) (uri (list (string-append @@ -871,7 +871,7 @@ as the 'native-search-paths' field." name "-" version ".tar.bz2"))) (sha256 (base32 - "1n4yz9rj24mv226hqbpw210ifvqkn8dgvpnkzf0s0lkq9zrjd5ym")))) + "0ng8l3q1px9lkzb44nxnzhh6fhdbclrwng9xs2v9m8yii8gs336i")))) (build-system gnu-build-system) (inputs `(("gmp" ,gmp))) (home-page "http://isl.gforge.inria.fr/") |