Thank you for opening this bug and helping make Ubuntu better. Indeed, gmp is not being used, so I am confirming this bug. I am not sure why, though, and will check upstream.
Thank you for opening this bug and helping make Ubuntu better. Indeed, gmp is not being used, so I am confirming this bug. I am not sure why, though, and will check upstream.