diff options
author | Nikolay Amiantov <ab@fmap.me> | 2016-03-05 17:49:15 +0300 |
---|---|---|
committer | Nikolay Amiantov <ab@fmap.me> | 2016-03-05 17:58:48 +0300 |
commit | 0865d19ccd6baa36b575ef3dc50b0bed76f6dca6 (patch) | |
tree | 4ed2ebafae6de549da9a5855548eebc52a3dea5e /pkgs/development/haskell-modules/configuration-common.nix | |
parent | 60046c64b4c50b8b0bf3c7d4ad3af1f672442b39 (diff) | |
download | nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar.gz nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar.bz2 nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar.lz nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar.xz nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.tar.zst nixlib-0865d19ccd6baa36b575ef3dc50b0bed76f6dca6.zip |
haskellPackages.Agda: use older unordered-containers to fix build
Fixes #13594.
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-common.nix')
-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 4fa6d2f78bbd..01c0298b0f07 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -927,4 +927,7 @@ self: super: { # https://github.com/mainland/language-c-quote/issues/57 language-c-quote = super.language-c-quote.override { alex = self.alex_3_1_4; }; + + # https://github.com/agda/agda/issues/1840 + Agda = super.Agda.override { unordered-containers = self.unordered-containers_0_2_5_1; }; } |