This is fixed in the debian packages, which should eventually become
ubuntu packages
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/947222
Title:
pkg-config file not installed
To manage notification
** Changed in: coinor-ipopt (Ubuntu)
Assignee: (unassigned) => Greg (gregmainland)
** Changed in: coinor-ipopt (Ubuntu)
Status: New => Fix Committed
** Changed in: coinor-ipopt (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you ar