micwoj92 [1] filed a deletion request for roboptim-core-plugin-eigen- git [2]:
Plugin for package "roboptim-core-git" which has deletion request pending: (PRQ#59236) [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/roboptim-core-plugin-eigen-git/
