Fedora EPEL 7 Update: coin-or-Ipopt-3.12.5-3.el7