diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 020e1d446ca..48b3108d0ed 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -899,8 +899,11 @@ self: super: { sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7"; }); - # happy 1.19.6 and later break some packages. - Agda = super.Agda.override { happy = self.happy_1_19_5; }; + # happy 1.19.6+ broke the Agda build. Sticking with the previous version + # avoided that issue, but now the build fails with a segmentation fault + # during the install phase for no apparent reason: + # https://hydra.nixos.org/build/60678124 + Agda = markBroken (super.Agda.override { happy = self.happy_1_19_5; }); # https://github.com/jtdaugherty/text-zipper/issues/11 text-zipper = dontCheck super.text-zipper;