MarsSeed [1] filed a deletion request for choreonoid-git [2]: Broken robotics research software package from 2015. Missing a key dependency.
Upstream repo archived since 2020. [a] [a]: https://github.com/s-nakaoka/choreonoid [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/choreonoid-git/
