From 60c80fd312ddbc446228e00c8517b7700a9d657f Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Wed, 3 Dec 2014 17:13:53 +0000
Subject: [PATCH] agda-pretty: update darcs revision

Fixes the package for new Agda version
---
 .../libraries/agda/pretty/contextfile            | 16 +++++++++++++---
 .../libraries/agda/pretty/default.nix            |  5 ++---
 2 files changed, 15 insertions(+), 6 deletions(-)

diff --git a/pkgs/development/libraries/agda/pretty/contextfile b/pkgs/development/libraries/agda/pretty/contextfile
index 4ad31c2e7fab..12079515f66f 100644
--- a/pkgs/development/libraries/agda/pretty/contextfile
+++ b/pkgs/development/libraries/agda/pretty/contextfile
@@ -1,7 +1,17 @@
 
 Context:
 
-[TAG Correct-by-Construction Pretty-Printing (2013-06-14)
-Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130614153155
- Ignore-this: a64ae32de9e22d60d64ef3da19847e00
+[Modified the copyright year range.
+Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128164015
+ Ignore-this: b9c6dddc965738aa2a7670c4c18da67f
+] 
+
+[Updated the code to reflect changes to the library API.
+Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128163950
+ Ignore-this: 8094c47f23cef0fcc596ad0c18a92b56
+] 
+
+[TAG Correct-by-Construction Pretty-Printing (2013-07-28)
+Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130727224432
+ Ignore-this: 6aab9b2e6b638457767c8821f3c27cb4
 ] 
diff --git a/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix
index e0a24a1adc1b..cab58b369780 100644
--- a/pkgs/development/libraries/agda/pretty/default.nix
+++ b/pkgs/development/libraries/agda/pretty/default.nix
@@ -1,13 +1,13 @@
 { stdenv, agda, fetchdarcs, AgdaStdlib }:
 
 agda.mkDerivation (self: rec {
-  version = "2014-09-27";
+  version = "2014-11-28";
   name = "pretty-${version}";
 
   src = fetchdarcs {
     url = "http://www.cse.chalmers.se/~nad/repos/pretty/";
     context = ./contextfile;
-    sha256 = "067pv55r3wlchbgjpx3ha5hyzr29y6xsix0ywwgirm8njcc8nv16";
+    sha256 = "1y896qqlfjqvpd09cp0x9nhr60ii21f5cibl0v73xl3z2d0wn0xa";
   };
 
   buildDepends = [ AgdaStdlib ];
@@ -21,6 +21,5 @@ agda.mkDerivation (self: rec {
     license = stdenv.lib.licenses.mit;
     platforms = stdenv.lib.platforms.unix;
     maintainers = with maintainers; [ fuuzetsu ];
-    broken = true;
   };
 })