[PRQ#44229] Deletion Request for choreonoid-git

Mon, 10 Jul 2023 16:32:11 -0700 

MarsSeed [1] filed a deletion request for choreonoid-git [2]:

Broken robotics/research software from 2015; source 404.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/choreonoid-git/

Reply via email to