ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-11 04:02:55 +03:00
Code Issues Projects Releases Wiki Activity

haskell-Agda: use old Happy version to fix the build

Browse Source
This commit is contained in:
Peter Simons 2017-09-07 14:12:35 +02:00
parent 7af6cb984e
commit 0898cd2521
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/haskell-modules/configuration-common.nix
View File

@ -899,4 +899,7 @@ self: super: {
sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7";
});
# happy 1.19.6 and later break some packages.
Agda = super.Agda.override { happy = self.happy_1_19_5; };
}