Closing as this is not a bug in a package.
** Changed in: gmp (Ubuntu)
Status: New = Invalid
--
undefined external
https://bugs.launchpad.net/bugs/154238
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs
Ouch .. in fact the bug was due to an out of date libgmp.so in
/usr/local/lib.
--
undefined external
https://bugs.launchpad.net/bugs/154238
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
