Andrés Sicard-Ramírez

> cabal haddock --with-haddock="\" --haddock-options="+RTS -p -hy -RTS" Running the above command I got the same error: ``` $ cabal haddock --with-haddock="haddock-2.18.1" --haddock-options="+RTS -p -hy -RTS" ... 100% ( 7...

It didn't work. I got the error only for using a profiled Haddock: ``` $ cabal haddock --with-haddock=haddock-2.18.1 100% ( 7 / 7) in 'Agda.Syntax.Parser.Layout' : can't load .so/.DLL for:...

Note that the `parametric` branch doesn't build with various versions of GHC (8.2.2, 8.4.4 and 8.6.4) currently supported. It seems it would take less time if someone *familiarised* with this...

> In the short term it would be great if there was a good way to identify ghc-compatibility commits to cherry-pick. I don't think so. It seems the branch was...

I guess it is more easy incrementally to add/remove recent/old versions of GHC. *Some* commits necessaries for this job are in the following issues: Remove support for GHC 7.6.3: #1972...

> @asr do you perhaps have time this week to assist with the release? Yes. I'll prepare the RC.

In the [CHANGELOG](https://hackage.haskell.org/package/Agda-2.6.2.2/changelog) for 2.6.2.2 (and other versions too) we included a section with highlights. Could someone add some highlights for 2.6.3?

> Now there is only #6220 left from this list. We could start a release candidate as soon as @nad 's PR #6221 has landed in `master`, and the other...

The Travis job for GHC 8.8.1 is using `caba-install 2.4.1.0`.

I got an error when running `cabal install` in a fresh repository. I'll report the error later.