bindist refers to libgmp.so.3 which is missing on Fedora 17
|Reported by:||j.waldmann||Owned by:||igloo|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
binary distribution ghc-7.6.2-x86_64-unknown-linux.tar.bz2 contains executable(s) that expect libgmp.so.3 but recent systems (Fedora 17) have libgmp.so.10 instead, and I don't see how I could roll back. No big deal, but each fix requires a recompile (of gmp, of ghc).