[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/
Hi, Just a quick question: wouldn't it be easier/better to just rename the existing packages to comply with the new coin-or package organization? Regards, Benjamin Benjamin Chrétien Ph.D. Candidate CNRS-UM2 LIRMM 2015-02-13 19:01 GMT+01:00 <notify@aur.archlinux.org>:
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/
Request #2365 has been rejected by Muflone [1]: Please settle the merge with the current maintainer. [1] https://aur.archlinux.org/account/Muflone/
participants (2)
-
Benjamin Chrétien
-
notify＠aur.archlinux.org