[Agda] installing on ghc-8.02

[Sergei Meshveliani]

Dear agda team,

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. 

Please, what is a regular way to fix?

Regards,

------
Sergei