
23 Jul
2013
23 Jul
'13
2:35 p.m.
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