
23 Jul
2013
23 Jul
'13
2:28 p.m.
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. -- Stephen Paul Weber, @singpolyma See http://singpolyma.net for how I prefer to be contacted edition right joseph