oech3 [1] filed a deletion request for google-antigravity-bin [2]: Should suggest to maintainer of antigravity before pushing duplicated package. This change is planned at the package.
[1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/google-antigravity-bin/
