From 9ceeb77bd35708e4aff0da429bc3658adec9d410 Mon Sep 17 00:00:00 2001
From: Mathijs Kwik <mathijs@bluescreen303.nl>
Date: Thu, 19 Jun 2014 13:37:31 +0200
Subject: [PATCH] agda-stdlib: no need to jailbreak anymore

---
 pkgs/development/compilers/agda/stdlib-0.8.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/development/compilers/agda/stdlib-0.8.nix b/pkgs/development/compilers/agda/stdlib-0.8.nix
index d3b848d73b5..9a78744ca29 100644
--- a/pkgs/development/compilers/agda/stdlib-0.8.nix
+++ b/pkgs/development/compilers/agda/stdlib-0.8.nix
@@ -10,7 +10,6 @@ cabal.mkDerivation (self: rec {
   };
 
   buildDepends = [ filemanip Agda ];
-  jailbreak = true;             # otherwise, it complains about base
 
   preConfigure = "cd ffi";