[aur-requests] [PRQ#3691] Merge Request for ipopt