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 ghc]