[PRQ#46331] Deletion Request for tinyos

[notify]

MarsSeed [1] filed a deletion request for tinyos [2]:

Orphan, broken package from 2017.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/tinyos/