JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Agda: drop redundant overrides

Browse Source
This commit is contained in:
Peter Simons 2013-06-15 12:32:51 +02:00
parent 0f25c404bc
commit 9c771de1a8
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/top-level/haskell-packages.nix
View File

@ -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 {};