diff options
author | Peter Simons <simons@cryp.to> | 2012-11-06 18:22:26 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2012-11-06 18:34:54 +0100 |
commit | 6b40f836c78298a1c0e4932b05e286a1a55fe864 (patch) | |
tree | 0e5e87259cba3dee27bb88f949f86a23e2ac193a /pkgs/top-level | |
parent | ce2e93a236bfb50a8faba375129e86ef70a5272f (diff) | |
download | nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar.gz nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar.bz2 nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar.lz nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar.xz nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.tar.zst nixlib-6b40f836c78298a1c0e4932b05e286a1a55fe864.zip |
Fix Agda build.
Agda won't build with recent versions of QuickCheck
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index a2d57d4e4ccc..2de6a2b573f5 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -429,6 +429,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y); Agda = callPackage ../development/libraries/haskell/Agda { haskellSrcExts = self.haskellSrcExts_1_11_1; + QuickCheck = self.QuickCheck_2_4_2; }; accelerate = callPackage ../development/libraries/haskell/accelerate {}; |