11 Jul
2023
11 Jul
'23
1:34 a.m.
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/