<div dir="ltr"><div><div>Hello,<br><br></div>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.<br><br></div>-- Jesper<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 15, 2017 at 10:43 AM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Agda developers,<br>
<br>
I am trying to install  Development Agda of February 15, 2017<br>
on  ghc-7.10.2, Debian Linux.<br>
<br>
  > cabal update<br>
  > cabal install<br>
<br>
reports<br>
<br>
------------------------------<wbr>-------<br>
...<br>
Installed equivalence-0.3.2<br>
...<br>
Agda-2.6.0 depends on text-icu-0.7.0.1 which failed to install.<br>
text-icu-0.7.0.1 failed during the configure step.<br>
------------------------------<wbr>-------<br>
<br>
This version needs more libraries than 2.5.2.<br>
<br>
Please, what is a regular way (in my situation) to get the needed C<br>
libraries (probably, icuuc, icui18n, icudata listed in the report)<br>
?<br>
<br>
Thanks,<br>
<br>
------<br>
Sergei<br>
<br>
______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
</blockquote></div><br></div>