jP_wanN [1] filed a deletion request for purescript-bin [2]: purescript is available in [community] since a few weeks [1] https://aur.archlinux.org/account/jP_wanN/ [2] https://aur.archlinux.org/pkgbase/purescript-bin/