diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 4fa6d2f78bb..01c0298b0f0 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; }; }