From 96756095b77d88800342e4150310c7d4108858b3 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Mon, 10 Feb 2014 11:05:42 +0100 Subject: [PATCH] haskell-idris: update to version 0.9.11.1 --- pkgs/development/compilers/idris/default.nix | 26 +++++++++++--------- 1 file changed, 14 insertions(+), 12 deletions(-) diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 10aa5ba4e07..898bd50e62b 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -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 ];