diff options
author | Peter Simons <simons@cryp.to> | 2017-09-14 14:53:47 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2017-09-14 15:25:46 +0200 |
commit | 49446109035a8e041dcd57759af3226ab9b0337d (patch) | |
tree | 9db08e42d4e5947e3177785a4fb596a393cc81fe | |
parent | 62079ef824f6f8673877203d89892a10c6acdd86 (diff) | |
download | nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar.gz nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar.bz2 nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar.lz nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar.xz nixlib-49446109035a8e041dcd57759af3226ab9b0337d.tar.zst nixlib-49446109035a8e041dcd57759af3226ab9b0337d.zip |
haskell-cryptol: override happy to older version to fix the build
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index abff9dfee4dc..77c94f9f2502 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -929,6 +929,9 @@ self: super: { # https://hydra.nixos.org/build/60678124 Agda = markBroken (super.Agda.override { happy = self.happy_1_19_5; }); + # cryptol-2.5.0 doesn't want happy 1.19.6+. + cryptol = super.cryptol.override { happy = self.happy_1_19_5; }; + # https://github.com/jtdaugherty/text-zipper/issues/11 text-zipper = dontCheck super.text-zipper; |