From 9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Sat, 15 Jun 2013 12:32:51 +0200 Subject: [PATCH] Agda: drop redundant overrides --- pkgs/top-level/haskell-packages.nix | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 1a665918004..787c458874f 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -500,11 +500,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y); acidState = callPackage ../development/libraries/haskell/acid-state {}; - Agda = callPackage ../development/libraries/haskell/Agda { - hashable = self.hashable_1_1_2_5; - hashtables = self.hashtables.override { hashable = self.hashable_1_1_2_5; }; - unorderedContainers = self.unorderedContainers.override { hashable = self.hashable_1_1_2_5; }; - }; + Agda = callPackage ../development/libraries/haskell/Agda {}; accelerate = callPackage ../development/libraries/haskell/accelerate {};