[PRQ#58155] Orphan Request for roboptim-core-plugin-ipopt-git

[notify]

MarsSeed [1] filed an orphan request for roboptim-core-plugin-ipopt-
git [2]:

Flagged as broken since 2023-07-11.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/roboptim-core-plugin-ipopt-git/