KingCrunch [1] filed a deletion request for opentofu-bin-stable [2]: same as opentofu-bin https://archlinux.org/packages/extra/x86_64/opentofu/ same as opentofu from official repo https://archlinux.org/packages/extra/x86_64/opentofu/
[1] https://aur.archlinux.org/account/KingCrunch/ [2] https://aur.archlinux.org/pkgbase/opentofu-bin-stable/
