diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2017-10-13 15:35:27 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2017-10-13 15:35:27 +0100 |
| commit | 0ef6e215ff74df480db984aac0c832b0a57d98f8 (patch) | |
| tree | 321a632427656d663359dbff9b8c6396c0312775 /pkgs/development/haskell-modules | |
| parent | 6e7f35c0b6d1af609d2a8cce216a92f86ed15550 (diff) | |
| download | nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar.gz nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar.bz2 nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar.lz nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar.xz nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.tar.zst nixlib-0ef6e215ff74df480db984aac0c832b0a57d98f8.zip | |
Agda: package builds fine these days
Tested with 8.0.2 and 8.2.1.
Diffstat (limited to 'pkgs/development/haskell-modules')
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 7e8e152b21d4..28743ca9481e 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -936,12 +936,6 @@ self: super: { sha256 = "1vss7b99zrhw3r29krl1b60r4qk0m2mpwmrz8q8zdxrh33hb8pd7"; }); - # happy 1.19.6+ broke the Agda build. Sticking with the previous version - # avoided that issue, but now the build fails with a segmentation fault - # during the install phase for no apparent reason: - # 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; }; |