diff options
Diffstat (limited to 'pkgs/development/compilers/idris/default.nix')
-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 7ca767170a3e6..fe9ce209191e8 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -4,15 +4,14 @@ cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.2"; - sha256 = "0n4dh3vxkjvw8rb5iqm8lvi21q2ljw2pzn453wfcisdadkpv4fh5"; + version = "0.9.2.1"; + sha256 = "16jbmyza57066s3wmkvgwn11kqn0nzkjrrvsinh9xd69a79h2iiy"; isLibrary = false; isExecutable = true; buildDepends = [ binary Cabal epic filepath haskeline mtl parsec transformers ]; buildTools = [ happy ]; - noHaddock = true; meta = { homepage = "http://www.idris-lang.org/"; description = "Functional Programming Language with Dependent Types"; |