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

agda: build with haskell-src-exts 1.15.x

Browse Source
This commit is contained in:
Peter Simons 2014-10-14 16:37:18 +02:00
parent 608c0271d8
commit 2ad93cf18d
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

@ -2947,7 +2947,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
# Compilers.
Agda = callPackage ../development/compilers/agda {};
Agda = callPackage ../development/compilers/agda { haskellSrcExts = self.haskellSrcExts_1_15_0_1; };
uhc = callPackage ../development/compilers/uhc {};