On Tue, May 14, 2013 at 01:16:44PM +0530, Rustom Mody wrote:
> Today cabal suddenly started giving me errors that libgmp.so.3 is not found
> Moving away my old .cabal makes it work again
> Any explanations?
> [I am on debian testing. I think the causing factor was that debian
> switched major versions recently.
> There were a lot of updates... Nothing that looked like it was related to
That could very well be the cause. My guess is that jessie has a
different libgmp than wheezy. The stuff in your .cabal was linked
against the version from wheezy, but now it's gone because of the dist
upgrade (of which cabal is unaware); recompiling everything and linking
against the new version fixes it.
If you want to be sure, see if apt updated libgmp as part of the dist