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