From d466b40bb35ecb6aa710f4c2eb8eb56e1fa79742 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Wed, 3 Dec 2014 17:10:30 +0000
Subject: [PATCH] agda-TotalParserCombinators: update darcs revision

Fixes the package for new Agda version
---
 .../libraries/agda/TotalParserCombinators/contextfile  | 10 ++++++++++
 .../libraries/agda/TotalParserCombinators/default.nix  |  5 ++---
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/agda/TotalParserCombinators/contextfile b/pkgs/development/libraries/agda/TotalParserCombinators/contextfile
index 1d211f397af9..1c195ee97fa4 100644
--- a/pkgs/development/libraries/agda/TotalParserCombinators/contextfile
+++ b/pkgs/development/libraries/agda/TotalParserCombinators/contextfile
@@ -1,6 +1,16 @@
 
 Context:
 
+[Updated the copyright year range.
+Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128223227
+ Ignore-this: 31d3f5e4fdd6fbfad9758d9bfd0d3a3e
+] 
+
+[Updated the code in response to changes to Agda and the library.
+Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20141128223205
+ Ignore-this: 6392ec67aab2c534a7195abed55be47
+] 
+
 [Updated code to reflect changes to Agda.
 Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20140425121055
  Ignore-this: 54d80fd647cb897eef85f57e9172f7db
diff --git a/pkgs/development/libraries/agda/TotalParserCombinators/default.nix b/pkgs/development/libraries/agda/TotalParserCombinators/default.nix
index b9ed0380e465..4a261e07cfd6 100644
--- a/pkgs/development/libraries/agda/TotalParserCombinators/default.nix
+++ b/pkgs/development/libraries/agda/TotalParserCombinators/default.nix
@@ -1,13 +1,13 @@
 { stdenv, agda, fetchdarcs, AgdaStdlib }:
 
 agda.mkDerivation (self: rec {
-  version = "2014-09-27";
+  version = "2014-11-28";
   name = "TotalParserCombinators-${version}";
 
   src = fetchdarcs {
     url = "http://www.cse.chalmers.se/~nad/repos/parser-combinators.code/";
     context = ./contextfile;
-    sha256 = "1rb8prqqp4dnz9s83ays7xfvpqs0n20vl1bg2zlg5si171j9rd4i";
+    sha256 = "03fjrgj0749929h5zz6yfz5x9h7fln95c8ydrm44550350n4xjvk";
   };
 
   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;
   };
 })