BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

hackage2nix: keep old happy 1.19.5 around for Agda

Browse source
This commit is contained in:
Peter Simons 2017-09-07 14:09:11 +02:00
parent d382d2b91f
commit d2c9a8c6a4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
pkgs/development/haskell-modules/configuration-hackage2nix.yaml
View file

@ -2535,6 +2535,7 @@ extra-packages:
- haddock-api == 2.15.* # required on GHC 7.8.x
- haddock-api == 2.16.* # required on GHC 7.10.x
- haddock-library == 1.2.* # required for haddock-api-2.16.x
- happy <1.19.6 # newer versions break Agda
- haskell-src-exts == 1.18.* # required by hoogle-5.0.4
- mtl < 2.2 # newer versions require transformers > 0.4.x, which we cannot provide in GHC 7.8.x
- mtl-prelude < 2 # required for to build postgrest on mtl 2.1.x platforms