DuckSoft [1] filed a request to merge tuexdo-cc-wmi-dkms [2] into tuxedo-cc-wmi [3]: typo. same package actually. [1] https://aur.archlinux.org/account/DuckSoft/ [2] https://aur.archlinux.org/pkgbase/tuexdo-cc-wmi-dkms/ [3] https://aur.archlinux.org/pkgbase/tuxedo-cc-wmi/