From b1e388cefbf30872a9d9e567da0598c24e61027a Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Sun, 31 Aug 2014 19:26:05 +0100
Subject: [PATCH] agda-stdlib: update to 0.8.1

This is necessary after the Agda-2.4.2 bump
---
 pkgs/development/compilers/agda/stdlib.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib.nix
index 913ae5cd90f..d0ae1394f89 100644
--- a/pkgs/development/compilers/agda/stdlib.nix
+++ b/pkgs/development/compilers/agda/stdlib.nix
@@ -2,11 +2,11 @@
 
 cabal.mkDerivation (self: rec {
   pname = "Agda-stdlib";
-  version = "0.8";
+  version = "0.8.1";
 
   src = fetchurl {
     url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz";
-    sha256 = "03gdcy2gar46qlmd6w91y05cm1x304ig6bda90ryww9qn05kif78";
+    sha256 = "0ij4rg4lk0pq01ing285gbmnn23dcf2rhihdcs8bbdpjg52vl4gf";
   };
 
   buildDepends = [ filemanip Agda ];