diff options
author | Peter Simons <simons@cryp.to> | 2013-06-15 12:32:51 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2013-06-15 12:39:16 +0200 |
commit | 9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6 (patch) | |
tree | dc83d0bfea128044346f69823d8756baed723368 /pkgs | |
parent | 0f25c404bc5630a630adb4ef07011cb25e134c89 (diff) | |
download | nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar.gz nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar.bz2 nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar.lz nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar.xz nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.tar.zst nixlib-9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6.zip |
Agda: drop redundant overrides
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 1a6659180044..787c458874f4 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 {}; |