MarsSeed [1] filed a deletion request for avr-libc-tinyos [2]: Defunct legacy version of extra repo's avr-libc.
The only (optional) consumer is tinyos, a broken orphan from 2017 pending deletion (PRQ#46331). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/avr-libc-tinyos/
