nisstyre [1] filed a deletion request for pony-stable-git [2]: community/pony-stable and community/ponyc exist, so this is redundant [1] https://aur.archlinux.org/account/nisstyre/ [2] https://aur.archlinux.org/pkgbase/pony-stable-git/