[aur-requests] [PRQ#2365] Merge Request for ipopt

xantares [1] filed a request to merge ipopt [2] into coin-or-ipopt [3]: to be consistent with other coin-or packages [1] https://aur.archlinux.org/account/xantares/ [2] https://aur.archlinux.org/pkgbase/ipopt/ [3] https://aur.archlinux.org/pkgbase/coin-or-ipopt/