haskell-idris: update to version 0.9.11.1

This commit is contained in:
Peter Simons 2014-02-10 11:05:42 +01:00
parent 4149ab9c50
commit 96756095b7

View File

@ -1,21 +1,23 @@
{ cabal, 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
{ 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
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.10.1";
sha256 = "194gbpk8fy64maj9lcwj9hkbndc3287bh9mz2jm09vd11i23iyg1";
isLibrary = false;
version = "0.9.11.1";
sha256 = "02a484vcf4sm2kdmxfxsy8x5whf002xyp2b6w1zrg7a6qggcabar";
isLibrary = true;
isExecutable = true;
buildDepends = [
ansiTerminal ansiWlPprint binary Cabal deepseq filepath haskeline
languageJava libffi llvmGeneral llvmGeneralPure mtl network parsers
split text time transformers trifecta unorderedContainers
utf8String vector vectorBinaryInstances xml
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
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ];