simonwinther [1] filed a deletion request for codeforce-tui [2]: The project/package was renamed from codeforce-tui to codeforces-tui to match the Codeforces name. The new AUR package is published and provides/conflicts with this old name for migration.
[1] https://aur.archlinux.org/account/simonwinther/ [2] https://aur.archlinux.org/pkgbase/codeforce-tui/
