From 9e79811eb6fe04e424e03b7b9e319a3d020cc579 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Mon, 17 Nov 2014 16:46:58 +0000
Subject: [PATCH] AgdaStdlib: update to 0.9

This should have really been updated with Agda itself.
---
 pkgs/development/compilers/agda/stdlib.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib.nix
index a583ff33cb6..597d0228b45 100644
--- a/pkgs/development/compilers/agda/stdlib.nix
+++ b/pkgs/development/compilers/agda/stdlib.nix
@@ -1,12 +1,12 @@
 { stdenv, agda, fetchurl, ghc, filemanip }:
 
 agda.mkDerivation (self: rec {
-  name = "Agda-stdlib";
-  version = "0.8.1";
+  version = "0.9";
+  name = "Agda-stdlib-${version}";
 
   src = fetchurl {
     url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz";
-    sha256 = "0ij4rg4lk0pq01ing285gbmnn23dcf2rhihdcs8bbdpjg52vl4gf";
+    sha256 = "05rpmd2xra8wygq33mahdmijcjwq132l1akqyzj66n13frw4hfwj";
   };
 
   buildInputs = [ filemanip ghc ];