public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskell-idris: update to version 0.9.9.3

Browse Source
This commit is contained in:
Peter Simons 2013-10-16 17:16:32 +02:00
parent ad44474f49
commit b258b45a4f
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/compilers/idris/default.nix
View File

@ -1,20 +1,21 @@
{ cabal, ansiTerminal, binary, boehmgc, Cabal, filepath, gmp, happy { cabal, ansiTerminal, ansiWlPprint, binary, boehmgc, Cabal
, haskeline, languageJava, libffi, llvmGeneral, llvmGeneralPure , filepath, gmp, happy, haskeline, languageJava, libffi
, mtl, parsec, parsers, split, text, time, transformers, trifecta , llvmGeneral, llvmGeneralPure, mtl, parsec, parsers, split, text
, unorderedContainers, utf8String, vector, vectorBinaryInstances , time, transformers, trifecta, unorderedContainers, utf8String
, vector, vectorBinaryInstances
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "idris"; pname = "idris";
version = "0.9.9.2"; version = "0.9.9.3";
sha256 = "0xfwnlf3jca64i4piyx9scmk4z8f6rak2cvrcjwji505a9vaa0rw"; sha256 = "1l19xx0xbcwlnnh2w0rmri7wwixffzfrafpbji64nwyx1awz4iab";
isLibrary = false; isLibrary = false;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
ansiTerminal binary Cabal filepath haskeline languageJava libffi ansiTerminal ansiWlPprint binary Cabal filepath haskeline
llvmGeneral llvmGeneralPure mtl parsec parsers split text time languageJava libffi llvmGeneral llvmGeneralPure mtl parsec parsers
transformers trifecta unorderedContainers utf8String vector split text time transformers trifecta unorderedContainers
vectorBinaryInstances utf8String vector vectorBinaryInstances
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ]; extraLibraries = [ boehmgc gmp ];