> Is it possible to get a ghc-4.08.x working with libgmp3 (external > would be nice)? >=20 > How? =3D) Not without making some changes to the 4.08.x RTS. I would stick with GMP 2 if you can. Cheers, Simon