[PRQ#59239] Deletion Request for roboptim-core-plugin-ipopt-git Accepted

Request #59239 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for roboptim-core-plugin-ipopt-git. [1] https://aur.archlinux.org/account/muflone/