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

haskell-idris: update to version 0.9.14

Browse Source
This commit is contained in:
Peter Simons 2014-07-18 12:21:54 +02:00
parent 92faa6a009
commit cdf9a972ad
1 changed files with 15 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,27 +1,27 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually! # This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint, binary { cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint
, blazeHtml, blazeMarkup, boehmgc, Cabal, cheapskate, deepseq , base64Bytestring, binary, blazeHtml, blazeMarkup, boehmgc, Cabal
, filepath, gmp, happy, haskeline, languageJava, lens, libffi , cheapskate, deepseq, filepath, fingertree, gmp, happy, haskeline
, llvmGeneral, llvmGeneralPure, mtl, network, optparseApplicative , languageJava, lens, libffi, llvmGeneral, llvmGeneralPure, mtl
, parsers, split, text, time, transformers, trifecta , network, optparseApplicative, parsers, split, text, time
, unorderedContainers, utf8String, vector, vectorBinaryInstances , transformers, trifecta, unorderedContainers, utf8String, vector
, xml, zlib , vectorBinaryInstances, xml, zlib
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "idris"; pname = "idris";
version = "0.9.13.1"; version = "0.9.14";
sha256 = "09528c2zxriw3l8c7dd2k5db9j1qmqhs6nbqwc7dkskzqv9snz7n"; sha256 = "0kfzp89sass93p9zsxq616zfix7ipi1rmjqmcjixihi01k7c0b8b";
isLibrary = true; isLibrary = true;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
annotatedWlPprint ansiTerminal ansiWlPprint binary blazeHtml annotatedWlPprint ansiTerminal ansiWlPprint base64Bytestring binary
blazeMarkup Cabal cheapskate deepseq filepath haskeline blazeHtml blazeMarkup Cabal cheapskate deepseq filepath fingertree
languageJava lens libffi llvmGeneral llvmGeneralPure mtl network haskeline languageJava lens libffi llvmGeneral llvmGeneralPure mtl
optparseApplicative parsers split text time transformers trifecta network optparseApplicative parsers split text time transformers
unorderedContainers utf8String vector vectorBinaryInstances xml trifecta unorderedContainers utf8String vector
zlib vectorBinaryInstances xml zlib
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ]; extraLibraries = [ boehmgc gmp ];