[aur-requests] [PRQ#27672] Deletion Request for webots-bin

notify at aur.archlinux.org notify at aur.archlinux.org
Fri Aug 20 21:08:07 UTC 2021


dgt [1] filed a deletion request for webots-bin [2]:

This is a duplicate of webots.

[1] https://aur.archlinux.org/account/dgt/
[2] https://aur.archlinux.org/pkgbase/webots-bin/


More information about the aur-requests mailing list