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

idris: upgrade to 0.9.12

This commit is contained in:
Mathijs Kwik 2014-04-05 09:35:52 +02:00
parent c01cc1a0e4
commit 7f6a2f81b9
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,23 +1,23 @@
{ cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint, binary
, boehmgc, Cabal, deepseq, filepath, gmp, happy, haskeline
, languageJava, libffi, llvmGeneral, llvmGeneralPure, mtl, network
, parsers, split, text, time, transformers, trifecta
, unorderedContainers, utf8String, vector, vectorBinaryInstances
, xml, zlib
, boehmgc, Cabal, cheapskate, deepseq, filepath, gmp, happy
, haskeline, languageJava, lens, libffi, llvmGeneral
, llvmGeneralPure, mtl, network, parsers, split, text, time
, transformers, trifecta, unorderedContainers, utf8String, vector
, vectorBinaryInstances, xml, zlib
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.11.2";
sha256 = "16xgiygn0j3kl3l36lnv6wz422nz2bvn3lk86xkdfvwjpv4630yn";
version = "0.9.12";
sha256 = "151h9qkx7yw24q0b60r78hki1y8m6sxmfars7wywnbzk3kalqb6x";
isLibrary = true;
isExecutable = true;
buildDepends = [
annotatedWlPprint ansiTerminal ansiWlPprint binary Cabal deepseq
filepath haskeline languageJava libffi llvmGeneral llvmGeneralPure
mtl network parsers split text time transformers trifecta
unorderedContainers utf8String vector vectorBinaryInstances xml
zlib
annotatedWlPprint ansiTerminal ansiWlPprint binary Cabal cheapskate
deepseq filepath haskeline languageJava lens libffi llvmGeneral
llvmGeneralPure mtl network parsers split text time transformers
trifecta unorderedContainers utf8String vector
vectorBinaryInstances xml zlib
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ];