scottmada [1] filed a request to merge pico8-bin [2] into pico-8 [3]: I'm the maintainer from both pico-8 and pico8-bin. pico-8 package name fits more as a package name than pico8-bin, as there are no package that distributes the source code. The only releases of PICO-8 are compiled. Thanks! [1] https://aur.archlinux.org/account/scottmada/ [2] https://aur.archlinux.org/pkgbase/pico8-bin/ [3] https://aur.archlinux.org/pkgbase/pico-8/