HurricanePootis [1] filed a deletion request for antigravity [2]: Package is closed source. There exists an antigravity-bin already. Therefore, this package should be deleted.
[1] https://aur.archlinux.org/account/HurricanePootis/ [2] https://aur.archlinux.org/pkgbase/antigravity/
