From 809dd0790f59954a4f0a1ec1596e56723cd968c1 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Sat, 13 Dec 2014 12:52:44 +0100
Subject: [PATCH] haskell-equational-reasoning: jailbreak to support recent
 versions of 'void'

---
 .../libraries/haskell/equational-reasoning/default.nix           | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/libraries/haskell/equational-reasoning/default.nix b/pkgs/development/libraries/haskell/equational-reasoning/default.nix
index fa88fbfe2e8..b9562573f8f 100644
--- a/pkgs/development/libraries/haskell/equational-reasoning/default.nix
+++ b/pkgs/development/libraries/haskell/equational-reasoning/default.nix
@@ -7,6 +7,7 @@ cabal.mkDerivation (self: {
   version = "0.2.0.4";
   sha256 = "1f94y6h7qg7rck7rxf6j8sygkh1xmfk0z1lr71inx6s74agjyc9j";
   buildDepends = [ singletons tagged void ];
+  jailbreak = true;
   meta = {
     description = "Proof assistant for Haskell using DataKinds & PolyKinds";
     license = self.stdenv.lib.licenses.bsd3;