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/