From 11dc22e3eecaec79122b4a3446d892adb1ad9ad9 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Wed, 30 Jul 2014 18:10:59 -0500
Subject: [PATCH] Agda needs an older version of haskell-equivalence

---
 .../libraries/haskell/equivalence/0.2.3.nix   | 22 +++++++++++++++++++
 .../equivalence/{default.nix => 0.2.5.nix}    |  0
 pkgs/top-level/haskell-packages.nix           |  5 ++++-
 3 files changed, 26 insertions(+), 1 deletion(-)
 create mode 100644 pkgs/development/libraries/haskell/equivalence/0.2.3.nix
 rename pkgs/development/libraries/haskell/equivalence/{default.nix => 0.2.5.nix} (100%)

diff --git a/pkgs/development/libraries/haskell/equivalence/0.2.3.nix b/pkgs/development/libraries/haskell/equivalence/0.2.3.nix
new file mode 100644
index 000000000000..934468212244
--- /dev/null
+++ b/pkgs/development/libraries/haskell/equivalence/0.2.3.nix
@@ -0,0 +1,22 @@
+# This file was auto-generated by cabal2nix. Please do NOT edit manually!
+
+{ cabal, mtl, QuickCheck, STMonadTrans, testFramework
+, testFrameworkQuickcheck2
+}:
+
+cabal.mkDerivation (self: {
+  pname = "equivalence";
+  version = "0.2.3";
+  sha256 = "0dd986y0sn89fparyz6kz9yhzysbqjcp8s99r81ihghg7s9yc743";
+  buildDepends = [ mtl STMonadTrans ];
+  testDepends = [
+    mtl QuickCheck STMonadTrans testFramework testFrameworkQuickcheck2
+  ];
+  doCheck = false;
+  meta = {
+    homepage = "https://bitbucket.org/paba/equivalence/";
+    description = "Maintaining an equivalence relation implemented as union-find using STT";
+    license = self.stdenv.lib.licenses.bsd3;
+    platforms = self.ghc.meta.platforms;
+  };
+})
diff --git a/pkgs/development/libraries/haskell/equivalence/default.nix b/pkgs/development/libraries/haskell/equivalence/0.2.5.nix
similarity index 100%
rename from pkgs/development/libraries/haskell/equivalence/default.nix
rename to pkgs/development/libraries/haskell/equivalence/0.2.5.nix
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index f564b447961b..3fb2cf834845 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -731,7 +731,9 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
 
   entropy = callPackage ../development/libraries/haskell/entropy {};
 
-  equivalence = callPackage ../development/libraries/haskell/equivalence {};
+  equivalence_0_2_3 = callPackage ../development/libraries/haskell/equivalence/0.2.3.nix {};
+  equivalence_0_2_5 = callPackage ../development/libraries/haskell/equivalence/0.2.5.nix {};
+  equivalence = self.equivalence_0_2_5;
 
   erf = callPackage ../development/libraries/haskell/erf {};
 
@@ -2759,6 +2761,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
   Agda_2_4_0_1 = callPackage ../development/compilers/agda/2.4.0.1.nix {
     binary = self.binary_0_7_2_1;
     QuickCheck = self.QuickCheck_2_7_5;
+    equivalence = self.equivalence_0_2_3;
   };
   Agda = self.Agda_2_4_0_1;