[Agda] installing on ghc-8.02

[Andres Sicard Ramirez]

On Tue, 4 Dec 2018 at 07:30, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I am trying to install Development Agda on
> Ubuntu Linux 18.04, ghc-8.02.
>
>   $ cabal update
>   $ cabal install
>
> reports in the end:
>
>   Agda-2.6.0 depends on zlib-0.6.2 which failed to install.
>

How did you install GHC 8.02?

-- 
Andrés