diff options
author | Nikolay Amiantov <ab@fmap.me> | 2016-03-18 23:05:04 +0300 |
---|---|---|
committer | Nikolay Amiantov <ab@fmap.me> | 2016-03-18 23:32:26 +0300 |
commit | b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5 (patch) | |
tree | a2dc49597fe6ae83c615153ce52dea6d906cfe54 /pkgs/development | |
parent | 1fb354d1ab1710102464146597af15f298593743 (diff) | |
download | nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar.gz nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar.bz2 nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar.lz nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar.xz nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.tar.zst nixlib-b1179bdbcff0df8f3b8220589d8c8dd72dae8bd5.zip |
haskellPackages.Agda: use older cpphs
Package requires cpphs < 0.20.0.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 2e0a02c0f2d0..b5b4db7e7297 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -941,9 +941,18 @@ 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; }; + Agda_2_4_2_3 = super.Agda_2_4_2_3.override { + unordered-containers = self.unordered-containers_0_2_5_1; + cpphs = self.cpphs_1_19_3; + }; + Agda_2_4_2_4 = super.Agda_2_4_2_4.override { + unordered-containers = self.unordered-containers_0_2_5_1; + cpphs = self.cpphs_1_19_3; + }; + Agda = super.Agda.override { + unordered-containers = self.unordered-containers_0_2_5_1; + cpphs = self.cpphs_1_19_3; + }; # We get lots of strange compiler errors during the test suite run. jsaddle = dontCheck super.jsaddle; |