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

Agda: require QuickCheck < 2.7

Browse Source
This commit is contained in:
Peter Simons 2014-05-12 17:41:24 +02:00
parent cd03e41fc7
commit cb644cafa8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2510,7 +2510,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
# Compilers. # Compilers.
Agda = callPackage ../development/compilers/agda/agda.nix {}; Agda = callPackage ../development/compilers/agda/agda.nix { QuickCheck = self.QuickCheck_2_6; };
AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {}; AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {};
uhc = callPackage ../development/compilers/uhc {}; uhc = callPackage ../development/compilers/uhc {};