diff options
author | Peter Simons <simons@cryp.to> | 2013-12-01 23:29:08 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-12-02 16:25:34 +0100 |
commit | 1d191dd56fce6e2eccef04bd3b0b53471a330a4d (patch) | |
tree | d8ef7dcd56bb52c387264328c0c575308f463705 /pkgs | |
parent | d555031aa80f94009b09a3d58fc1b5c6c352ee63 (diff) | |
download | nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar.gz nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar.bz2 nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar.lz nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar.xz nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.tar.zst nixpkgs-1d191dd56fce6e2eccef04bd3b0b53471a330a4d.zip |
haskell-idris: update to version 0.9.10
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 30ef18a1ef9..51f5759c5fe 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -1,21 +1,21 @@ { 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 +, deepseq, filepath, gmp, happy, haskeline, languageJava, mtl +, network, parsers, split, text, time, transformers, trifecta +, unorderedContainers, utf8String, vector, vectorBinaryInstances +, xml }: cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.9.3"; - sha256 = "1l19xx0xbcwlnnh2w0rmri7wwixffzfrafpbji64nwyx1awz4iab"; + version = "0.9.10"; + sha256 = "0sbadjc4kj59f5240036pryxr4b6k6y2zkmszv99wq660mm7a3d3"; isLibrary = false; isExecutable = true; buildDepends = [ - ansiTerminal ansiWlPprint binary Cabal filepath haskeline - languageJava libffi llvmGeneral llvmGeneralPure mtl parsec parsers - split text time transformers trifecta unorderedContainers - utf8String vector vectorBinaryInstances + ansiTerminal ansiWlPprint binary Cabal deepseq filepath haskeline + languageJava mtl network parsers split text time transformers + trifecta unorderedContainers utf8String vector + vectorBinaryInstances xml ]; buildTools = [ happy ]; extraLibraries = [ boehmgc gmp ]; |