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/
