StevenSeifried [1] filed a deletion request for tuxedo-cc-wmi [2]: tuxedo-cc-wmi was replaced with tuxedo-io in tuxedo-keyboard [1] https://aur.archlinux.org/account/StevenSeifried/ [2] https://aur.archlinux.org/pkgbase/tuxedo-cc-wmi/