diff options
author | Peter Simons <simons@cryp.to> | 2012-11-21 17:35:22 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2012-11-21 17:35:22 +0100 |
commit | 87144c6aa7117190a66baed62202ba0423591fd0 (patch) | |
tree | a01b3012147d09193fa50bd65d060b07c688a66e /pkgs/top-level/haskell-packages.nix | |
parent | 9ada368ef842d5bc52d0db0b92ee0217cc213a83 (diff) | |
download | nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar.gz nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar.bz2 nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar.lz nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar.xz nixlib-87144c6aa7117190a66baed62202ba0423591fd0.tar.zst nixlib-87144c6aa7117190a66baed62202ba0423591fd0.zip |
Agda: the current version supports recent QuickCheck
Diffstat (limited to 'pkgs/top-level/haskell-packages.nix')
-rw-r--r-- | pkgs/top-level/haskell-packages.nix | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 97992bd3b1c5..98b4b657a143 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -427,10 +427,7 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y); # Haskell libraries. - Agda = callPackage ../development/libraries/haskell/Agda { - haskellSrcExts = self.haskellSrcExts_1_11_1; - QuickCheck = self.QuickCheck_2_4_2; - }; + Agda = callPackage ../development/libraries/haskell/Agda {}; accelerate = callPackage ../development/libraries/haskell/accelerate {}; |