Please, add coin-or-Ipopt:
This update has been unpushed.
Okay with IceCat.
I'm pushing coin-or-Sample as starting package, since it's required by Coin-or-CoinUtils.
Copyright © 2007-2019 Red Hat, Inc. and
bodhi is Free Software.
if you have any problems. Read the documentation.