Comment 1 for bug 696618

Revision history for this message
C de-Avillez (hggdh2) wrote :

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.