haskell-agda: 2.4.0.1 needs QuickCheck 2.7.5 specifically

This commit is contained in:
John Wiegley 2014-07-18 18:02:09 -05:00
parent 9b608c0e99
commit ad31933ec4

View File

@ -1878,6 +1878,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
QuickCheck_2_4_2 = callPackage ../development/libraries/haskell/QuickCheck/2.4.2.nix {};
QuickCheck_2_5_1_1 = callPackage ../development/libraries/haskell/QuickCheck/2.5.1.1.nix {};
QuickCheck_2_6 = callPackage ../development/libraries/haskell/QuickCheck/2.6.nix {};
QuickCheck_2_7_5 = callPackage ../development/libraries/haskell/QuickCheck/2.7.5.nix {};
QuickCheck_2_7_6 = callPackage ../development/libraries/haskell/QuickCheck/2.7.6.nix {};
QuickCheck = self.QuickCheck_2_7_6;
@ -2712,6 +2713,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
Agda_2_3_2_2 = callPackage ../development/compilers/agda/2.3.2.2.nix {};
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;
};
Agda = self.Agda_2_4_0_1;