diff options
author | Peter Simons <simons@cryp.to> | 2013-10-16 17:16:32 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-10-18 12:52:27 +0200 |
commit | b258b45a4f2c9034ac8458e428601f81387d028e (patch) | |
tree | 3c92ac63718639ad36e8a878af60715f80a8917b /pkgs/development | |
parent | ad44474f4983888749fba0b5dabc17c6c3d24a05 (diff) | |
download | nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar.gz nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar.bz2 nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar.lz nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar.xz nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.tar.zst nixlib-b258b45a4f2c9034ac8458e428601f81387d028e.zip |
haskell-idris: update to version 0.9.9.3
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 7252343aa559..30ef18a1ef91 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,20 +1,21 @@ -{ cabal, ansiTerminal, binary, boehmgc, Cabal, filepath, gmp, happy -, haskeline, languageJava, libffi, llvmGeneral, llvmGeneralPure -, mtl, parsec, parsers, split, text, time, transformers, trifecta -, unorderedContainers, utf8String, vector, vectorBinaryInstances +{ cabal, ansiTerminal, ansiWlPprint, binary, boehmgc, Cabal +, filepath, gmp, happy, haskeline, languageJava, libffi +, llvmGeneral, llvmGeneralPure, mtl, parsec, parsers, split, text +, time, transformers, trifecta, unorderedContainers, utf8String +, vector, vectorBinaryInstances }: cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.9.2"; - sha256 = "0xfwnlf3jca64i4piyx9scmk4z8f6rak2cvrcjwji505a9vaa0rw"; + version = "0.9.9.3"; + sha256 = "1l19xx0xbcwlnnh2w0rmri7wwixffzfrafpbji64nwyx1awz4iab"; isLibrary = false; isExecutable = true; buildDepends = [ - ansiTerminal binary Cabal filepath haskeline languageJava libffi - llvmGeneral llvmGeneralPure mtl parsec parsers split text time - transformers trifecta unorderedContainers utf8String vector - vectorBinaryInstances + ansiTerminal ansiWlPprint binary Cabal filepath haskeline + languageJava libffi llvmGeneral llvmGeneralPure mtl parsec parsers + split text time transformers trifecta unorderedContainers + utf8String vector vectorBinaryInstances ]; buildTools = [ happy ]; extraLibraries = [ boehmgc gmp ]; |