@@ -313,10 +313,12 @@ defaultConfiguration = Configuration
313 , "Cabal == 1.18.*" -- required for cabal-install et al on old GHC versions
313 , "Cabal == 1.18.*" -- required for cabal-install et al on old GHC versions
314 , "Cabal == 1.20.*" -- required for cabal-install et al on old GHC versions
314 , "Cabal == 1.20.*" -- required for cabal-install et al on old GHC versions
315 , "cabal-install == 1.18.*" -- required for ghc-mod on 7.8.x
315 , "cabal-install == 1.18.*" -- required for ghc-mod on 7.8.x
316+ , "cpphs < 1.19" -- required to build Agda
316 , "haddock-api < 2.16" -- required on GHC 7.8.x
317 , "haddock-api < 2.16" -- required on GHC 7.8.x
317 , "containers < 0.5" -- required to build alex with GHC 6.12.3
318 , "containers < 0.5" -- required to build alex with GHC 6.12.3
318 , "deepseq == 1.3.0.1" -- required to build Cabal with GHC 6.12.3
319 , "deepseq == 1.3.0.1" -- required to build Cabal with GHC 6.12.3
319 , "descriptive < 0.1" -- required for structured-haskell-mode-1.0.8
320 , "descriptive < 0.1" -- required for structured-haskell-mode-1.0.8
321+ , "equivalence == 0.2.5" -- required to build Agda with GHC 7.8.x
320 , "haskell-src-exts < 1.16" -- required for structured-haskell-mode-1.0.8
322 , "haskell-src-exts < 1.16" -- required for structured-haskell-mode-1.0.8
321 , "lens >=4.1.1 && <4.8" -- required by idris-0.9.17.1
323 , "lens >=4.1.1 && <4.8" -- required by idris-0.9.17.1
322 , "mtl-prelude < 2" -- required for to build postgrest on mtl 2.1.x platforms
324 , "mtl-prelude < 2" -- required for to build postgrest on mtl 2.1.x platforms