From 73db2dab55ac007de81448b3886649aed702db04 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Tue, 18 Nov 2014 07:58:50 +0000
Subject: [PATCH] agda-iowa-stdlib: update to r18734

Now works with Agda 2.4.2.1
---
 pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
index e8efcf3d1eb1..2c76c2f43508 100644
--- a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
@@ -1,13 +1,13 @@
 { stdenv, agda, fetchsvn }:
 
 agda.mkDerivation (self: rec {
-  version = "18437";
+  version = "18734";
   name = "agda-iowa-stdlib-${version}";
 
   src = fetchsvn {
     url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
     rev = version;
-    sha256 = "1g6pwvrcir53ppf6wd8s62gizc3qy35mp229b66mh53abg4brik2";
+    sha256 = "0aqib88m5n6aqb5lmns9nl62x40yqhg6zpj0zjxibbn4s4qjw9ky";
   };
 
   sourceDirectories = [ "./." ];
@@ -22,6 +22,5 @@ agda.mkDerivation (self: rec {
     license = stdenv.lib.licenses.free;
     platforms = stdenv.lib.platforms.unix;
     maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
-    broken = true;
   };
 })