haskell-idris: update to version 0.9.13

This commit is contained in:
Peter Simons 2014-06-05 11:03:40 +02:00
parent eaa151379a
commit b5e87f63f9

View file

@ -1,23 +1,25 @@
{ cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint, binary
, 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
, blazeHtml, blazeMarkup, boehmgc, Cabal, cheapskate, deepseq
, filepath, gmp, happy, haskeline, languageJava, lens, libffi
, llvmGeneral, llvmGeneralPure, mtl, network, optparseApplicative
, parsers, split, text, time, transformers, trifecta
, unorderedContainers, utf8String, vector, vectorBinaryInstances
, xml, zlib
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.12";
sha256 = "151h9qkx7yw24q0b60r78hki1y8m6sxmfars7wywnbzk3kalqb6x";
version = "0.9.13";
sha256 = "0bpp8b19s1przycndvl542ar9dc285ccnwm7cic33ym1lcqil86n";
isLibrary = true;
isExecutable = true;
buildDepends = [
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
annotatedWlPprint ansiTerminal ansiWlPprint binary blazeHtml
blazeMarkup Cabal cheapskate deepseq filepath haskeline
languageJava lens libffi llvmGeneral llvmGeneralPure mtl network
optparseApplicative parsers split text time transformers trifecta
unorderedContainers utf8String vector vectorBinaryInstances xml
zlib
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ];