diff options
author | Peter Simons <simons@cryp.to> | 2014-10-30 12:11:44 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-10-30 12:11:44 +0100 |
commit | db7a885c267eb6e8687ba84ba42e51f80faa6c6e (patch) | |
tree | 5ccd5785ade84639e2f403476a52cf88ee1ea36b | |
parent | b001a5dc11a1371c1a539b835df73e655d17edbd (diff) | |
parent | 6296d967fd97dc7665b872f811e9ce1919b9ab38 (diff) | |
download | nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar.gz nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar.bz2 nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar.lz nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar.xz nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.tar.zst nixlib-db7a885c267eb6e8687ba84ba42e51f80faa6c6e.zip |
Merge pull request #4723 from mstarzyk/idris
haskell-idris: update to version 0.9.15.1
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 77de267fbcc0..cc2bfd40c926 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -10,8 +10,8 @@ cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.15"; - sha256 = "1i7ra9yk5zcdw63fry8r2s61z6cga6arz9mnjc60jgg2ykcxv8md"; + version = "0.9.15.1"; + sha256 = "0r31jcqs9kgknm66v7bbcgj9md7z49sgvn0nhk1dwg8jj2rmfll8"; isLibrary = true; isExecutable = true; buildDepends = [ @@ -29,6 +29,5 @@ cabal.mkDerivation (self: { description = "Functional Programming Language with Dependent Types"; license = self.stdenv.lib.licenses.bsd3; platforms = self.ghc.meta.platforms; - maintainers = with self.stdenv.lib.maintainers; [ aycanirican ]; }; }) |