rafaelff [1] filed a deletion request for cryptol [2]: aurdupes reports: also available in [community] repository https://www.archlinux.org/packages/?q=cryptol [1] https://aur.archlinux.org/account/rafaelff/ [2] https://aur.archlinux.org/pkgbase/cryptol/