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

haskell-idris: update to version 0.9.9.1

This commit is contained in:
Peter Simons 2013-09-21 10:20:15 +02:00
parent 71bb69c5c1
commit 900a35738c
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,17 +1,18 @@
{ cabal, binary, boehmgc, Cabal, filepath, gmp, happy, haskeline { cabal, ansiTerminal, binary, boehmgc, Cabal, filepath, gmp, happy
, languageJava, libffi, llvmGeneral, mtl, parsec, split, text , haskeline, languageJava, libffi, llvmGeneral, mtl, parsec, split
, transformers, vector, vectorBinaryInstances , text, time, transformers, vector, vectorBinaryInstances
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "idris"; pname = "idris";
version = "0.9.9"; version = "0.9.9.1";
sha256 = "0wwssgpiyn7akyfrpi1khvqxx1k8753kk7151zvvymz0zkks643m"; sha256 = "1glxkx2hcr0lrvj3jjnlqqifyzyixjzq1hl86wmn540dccw82yah";
isLibrary = false; isLibrary = false;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
binary Cabal filepath haskeline languageJava libffi llvmGeneral mtl ansiTerminal binary Cabal filepath haskeline languageJava libffi
parsec split text transformers vector vectorBinaryInstances llvmGeneral mtl parsec split text time transformers vector
vectorBinaryInstances
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ]; extraLibraries = [ boehmgc gmp ];