Maybe just an oversight. I fixed it. -- sync coinor-ipopt from Debian unstable https://bugs.launchpad.net/bugs/504329 You received this bug notification because you are a member of Ubuntu Sponsors for universe, which is a direct subscriber.