eolianoe [1] filed a request to merge ipopt [2] into coin-or-ipopt [3]: See comments in [a] [a] https://aur.archlinux.org/packages/coin-or-ipopt/ [1] https://aur4.archlinux.org/account/eolianoe/ [2] https://aur4.archlinux.org/pkgbase/ipopt/ [3] https://aur4.archlinux.org/pkgbase/coin-or-ipopt/