[PRQ#58154] Orphan Request for roboptim-core-plugin-eigen-git

[notify]

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

Flagged as broken since 2023-06-10.

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