Jristz [1] filed a request to merge pony-plataforming-project [2] into pony-platforming-project [3]: A simple mistypo, I'm the maintainer and pony-platforming-project is the correct name. [1] https://aur4.archlinux.org/account/Jristz/ [2] https://aur4.archlinux.org/pkgbase/pony-plataforming-project/ [3] https://aur4.archlinux.org/pkgbase/pony-platforming-project/