[Agda] text-icu-0.7.0.1

[Jesper Cockx]

Hello,

I noticed the same thing a few days ago: Agda started complaining about
missing C libraries. I managed to get the new libraries by installing the
icu-devtools package, but I also wonder why this new dependency was added.

-- Jesper

On Wed, Feb 15, 2017 at 10:43 AM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170215/0011a184/attachment.html>