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

haskell-idris: update to version 0.9.9.2

This commit is contained in:
Peter Simons 2013-09-25 11:14:56 +02:00
parent 8cb5fefbc0
commit a71c1ca748
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,17 +1,19 @@
{ cabal, ansiTerminal, binary, boehmgc, Cabal, filepath, gmp, happy
, haskeline, languageJava, libffi, llvmGeneral, mtl, parsec, split
, text, time, transformers, vector, vectorBinaryInstances
, 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.1";
sha256 = "1glxkx2hcr0lrvj3jjnlqqifyzyixjzq1hl86wmn540dccw82yah";
version = "0.9.9.2";
sha256 = "0xfwnlf3jca64i4piyx9scmk4z8f6rak2cvrcjwji505a9vaa0rw";
isLibrary = false;
isExecutable = true;
buildDepends = [
ansiTerminal binary Cabal filepath haskeline languageJava libffi
llvmGeneral mtl parsec split text time transformers vector
llvmGeneral llvmGeneralPure mtl parsec parsers split text time
transformers trifecta unorderedContainers utf8String vector
vectorBinaryInstances
];
buildTools = [ happy ];