On Tue, Jul 23, 2013 at 10:28 AM, Stephen Paul Weber <singpolyma@singpolyma.net> wrote:
Somebody claiming to be harry wrote:
all of this stems from GHC
looking for libgmp.so, instead of libgmp.so.3

Most systems symlink libgmp.so to the default version installed.  On Debian stable it's libgmp.so.10 ... so it may work for you, but you may want to upgrade.

Actually, the unversioned .so is often in a -dev package.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net