From c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Mon, 12 Nov 2012 12:34:28 +0100
Subject: [PATCH] haskell-Agda: update to version 2.3.2

---
 .../libraries/haskell/Agda/default.nix            | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix
index b598accffc60..a9d05596495c 100644
--- a/pkgs/development/libraries/haskell/Agda/default.nix
+++ b/pkgs/development/libraries/haskell/Agda/default.nix
@@ -1,19 +1,20 @@
-{ cabal, alex, binary, filepath, happy, hashable, hashtables
-, haskeline, haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib
+{ cabal, alex, binary, deepseq, filepath, geniplate, happy
+, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
+, QuickCheck, text, unorderedContainers, xhtml, zlib
 }:
 
 cabal.mkDerivation (self: {
   pname = "Agda";
-  version = "2.3.0.1";
-  sha256 = "0f2kc3by2z01g8bqc446hyzx9sidx6qi0p7h5bcpjf8iryk1dh2w";
+  version = "2.3.2";
+  sha256 = "1xp0qvag6wx6zjwhmb7nm13hp63vlh8h4a2rkc85rsh610m0nynl";
   isLibrary = true;
   isExecutable = true;
   buildDepends = [
-    binary filepath hashable hashtables haskeline haskellSrcExts mtl
-    QuickCheck syb xhtml zlib
+    binary deepseq filepath geniplate hashable hashtables haskeline
+    haskellSrcExts mtl parallel QuickCheck text unorderedContainers
+    xhtml zlib
   ];
   buildTools = [ alex happy ];
-  jailbreak = true;
   meta = {
     homepage = "http://wiki.portal.chalmers.se/agda/";
     description = "A dependently typed functional programming language and proof assistant";