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

[notify]

Request #59239 has been Accepted by muflone [1]:

[Autogenerated] Accepted deletion for roboptim-core-plugin-ipopt-git.

[1] https://aur.archlinux.org/account/muflone/