[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