MarsSeed [1] filed a deletion request for kerberosio-machinery [2]: Defunct, broken package from 2018. Upstream project ended since last 2020, and repo is archived since 2022. [a]
[a]: https://github.com/kerberos-io/machinery [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/kerberosio-machinery/
