OJaksch [1] filed a deletion request for libretro-atari800 [2]:
Package name schema doesn't fit - has to be libretro-atari800-git. Will recreate then.
[1] https://aur.archlinux.org/account/OJaksch/ [2] https://aur.archlinux.org/pkgbase/libretro-atari800/
Request #4892 has been accepted by Muflone [1].
aur-requests@lists.archlinux.org