diff options
author | William A. Kennington III <william@wkennington.com> | 2015-07-08 16:21:03 -0700 |
---|---|---|
committer | William A. Kennington III <william@wkennington.com> | 2015-07-08 16:22:11 -0700 |
commit | 906be98e0d6ff4a47800b6ecf76db96f4223a6dc (patch) | |
tree | 4edecd2f12f90838929de87eb85778ab8ccf2866 /pkgs/development/libraries/isl | |
parent | 5ce2cf8a0f7fc213a42a043bbaa740e9b423f91d (diff) | |
download | nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar.gz nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar.bz2 nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar.lz nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar.xz nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.tar.zst nixlib-906be98e0d6ff4a47800b6ecf76db96f4223a6dc.zip |
isl: Add 0.15.0
And remove the defunct and unused default.nix
Diffstat (limited to 'pkgs/development/libraries/isl')
-rw-r--r-- | pkgs/development/libraries/isl/0.15.0.nix (renamed from pkgs/development/libraries/isl/default.nix) | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/libraries/isl/default.nix b/pkgs/development/libraries/isl/0.15.0.nix index 9518a0c0e657..eca3372ad4d0 100644 --- a/pkgs/development/libraries/isl/default.nix +++ b/pkgs/development/libraries/isl/0.15.0.nix @@ -1,19 +1,17 @@ { stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { - name = "isl-0.14"; + name = "isl-0.15"; src = fetchurl { - url = "http://isl.gforge.inria.fr/${name}.tar.bz2"; - sha256 = "0dlg4b85nw4w534525h0fvb7yhb8i4am8kskhmm0ym7qabzh4g3y"; + url = "http://isl.gforge.inria.fr/${name}.tar.xz"; + sha256 = "1m922l5bz69lvkcxrib7lvjqwfqsr8rpbzgmb2aq07bp76460jhh"; }; buildInputs = [ gmp ]; enableParallelBuilding = true; - doCheck = true; - meta = { homepage = http://www.kotnet.org/~skimo/isl/; license = stdenv.lib.licenses.lgpl21; |