[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
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