On Sat, Jun 1, 2013 at 8:36 PM, Chaddaï Fouché <span dir="ltr">&lt;<a href="mailto:chaddai.fouche@gmail.com" target="_blank">chaddai.fouche@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br><div>In Linux, we resolved the problem by using package manager that know what libraries need to be installed for each package to work but it means that if you&#39;re not using your manager to install a soft, you&#39;ll have to install manually the libraries you need (which is probably what happened to Rustom, its debian upgrade removed or upgraded the libgmp.so his manually installed cabal needed).<br>

</div></div></div></div></blockquote><div><br>Not sure how you come to that diagnosis.<br>As far as I can see on my machine<br>- cabal is /usr/bin/cabal<br>- the apt package cabal-install is installed and lists /usr/bin/cabal as a file<br>

<br>So unless something really weird or magic-y happened, my cabal is debian&#39;s cabal.<br><br>And so -- my diagnosis -- the fact that cabal broke after an OS upgrade suggests that the apt package cabal has something wrong in its dependencies.<br>

</div></div><br>Of course, as I said, this is my diagnosis, and since I am not much more than a layman in this area, I&#39;ll be happy to be corrected :-)<br>