diff options
| author | Maciek Starzyk <mstarzyk@gmail.com> | 2014-10-29 21:03:08 +0100 |
|---|---|---|
| committer | Maciek Starzyk <mstarzyk@gmail.com> | 2014-10-29 21:03:08 +0100 |
| commit | 6296d967fd97dc7665b872f811e9ce1919b9ab38 (patch) | |
| tree | e21067a3238d6b12bf1f5d14e37939f8f69fc130 | |
| parent | 232fc4da543e7550dcfedc9a33a394032dfeb5fe (diff) | |
| download | nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar.gz nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar.bz2 nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar.lz nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar.xz nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.tar.zst nixlib-6296d967fd97dc7665b872f811e9ce1919b9ab38.zip | |
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 ]; }; }) |