Agda: Fix version 2.6.1

This commit is contained in:
Alex Rice 2020-06-11 15:27:08 +01:00 committed by Peter Simons
parent 89997f69b1
commit 1ca0005c6b

View file

@ -2537,6 +2537,7 @@ default-package-overrides:
extra-packages:
- aeson < 0.8 # newer versions don't work with GHC 7.6.x or earlier
- Agda == 2.6.1 # allows the agdaPackage set to be fixed to this version so that it won't break when another agda version is released.
- ansi-terminal == 0.10.3 # required by cabal-plan, and policeman in ghc-8.8.x
- aeson-pretty < 0.8 # required by elm compiler
- apply-refact < 0.4 # newer versions don't work with GHC 8.0.x