[Agda] installing on ghc-8.02

[Sergei Meshveliani]

On Tue, 2018-12-04 at 12:43 +0000, Andres Sicard Ramirez wrote:
> 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?
> 



 $ sudo apt-get install dpkg 
 ...
 ...
 $ sudo apt-get install ghc

I hoped that Ubuntu will download from Web a fresh enough version for
GHC. And it has found it. Then I checked:

  $ ghc -v

  Glasgow haskell 8.02

-- something like this message.