diff options
-rw-r--r-- | pkgs/development/compilers/agda/stdlib-0.8.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/development/compilers/agda/stdlib-0.8.nix b/pkgs/development/compilers/agda/stdlib-0.8.nix index d3b848d73b51..9a78744ca299 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"; |