diff options
author | Peter Simons <simons@cryp.to> | 2016-03-17 20:55:38 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2016-03-18 07:52:36 +0100 |
commit | 73d1d84e546fb0c4bced542d4d981c1f19f499af (patch) | |
tree | 30cbdfd7eb031087321a8fae48046a41635b8f58 /pkgs/development | |
parent | a0f0a7191fa5eb20343d2b3ac8788592e029bb1f (diff) | |
download | nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar.gz nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar.bz2 nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar.lz nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar.xz nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.tar.zst nixlib-73d1d84e546fb0c4bced542d4d981c1f19f499af.zip |
haskell-Agda: add necessary overrides for older versions to fix the LTS builds
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index b4bd2b6efa89..e155027ea9e5 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -944,5 +944,7 @@ self: super: { language-c-quote = super.language-c-quote.override { alex = self.alex_3_1_4; }; # https://github.com/agda/agda/issues/1840 + Agda_2_4_2_3 = super.Agda_2_4_2_3.override { unordered-containers = self.unordered-containers_0_2_5_1; }; + Agda_2_4_2_4 = super.Agda_2_4_2_4.override { unordered-containers = self.unordered-containers_0_2_5_1; }; Agda = super.Agda.override { unordered-containers = self.unordered-containers_0_2_5_1; }; } |