16 Apr
2024
16 Apr
'24
8:47 p.m.
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/