[PRQ#44229] Deletion Request for choreonoid-git

10 Jul 2023

      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/

notify＠aur.archlinux.org