add haddock-api-2.17 for GHC 8.0
This commit is contained in:
parent
00cf3adcb0
commit
b980675107
@ -2684,6 +2684,7 @@ extra-packages:
|
||||
- haddock < 2.17 # required on GHC 7.10.x
|
||||
- haddock-api == 2.15.* # required on GHC 7.8.x
|
||||
- haddock-api == 2.16.* # required on GHC 7.10.x
|
||||
- haddock-api == 2.17.* # required on GHC 8.0.x
|
||||
- haddock-library == 1.2.* # required for haddock-api-2.16.x
|
||||
- haddock-library == 1.4.4 # required for haddock-api-2.18.x
|
||||
- happy <1.19.6 # newer versions break Agda
|
||||
|
Loading…
Reference in New Issue
Block a user