[Agda] text-icu-0.7.0.1

Sergei Meshveliani mechvel at botik.ru
Wed Feb 15 10:43:42 CET 2017


Dear Agda developers,

I am trying to install  Development Agda of February 15, 2017 
on  ghc-7.10.2, Debian Linux.

  > cabal update 
  > cabal install

reports 

-------------------------------------
...
Installed equivalence-0.3.2
...
Agda-2.6.0 depends on text-icu-0.7.0.1 which failed to install.
text-icu-0.7.0.1 failed during the configure step. 
-------------------------------------

This version needs more libraries than 2.5.2.

Please, what is a regular way (in my situation) to get the needed C
libraries (probably, icuuc, icui18n, icudata listed in the report) 
?

Thanks,

------
Sergei



More information about the Agda mailing list