[Agda] installing on ghc-8.02

[Andres Sicard Ramirez]

On Tue, 4 Dec 2018 at 08:12, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> > >
> > >   Agda-2.6.0 depends on zlib-0.6.2 which failed to install.
> > >
> >
> > How did you install GHC 8.02?
> >
>
>
>
>  $ sudo apt-get install dpkg
>  ...
>  ...
>  $ sudo apt-get install ghc
>

You also need to install zlib-0.6.2 using apt-get.

-- 
Andrés