HurricanePootis [1] filed a deletion request for godot-headers [2]: godot-headers is depricated upstream, as godot 4.0 no longer uses `godot-headers`, instead just keeping the headers in the godot-cpp repo. [1] https://aur.archlinux.org/account/HurricanePootis/ [2] https://aur.archlinux.org/pkgbase/godot-headers/