FrancoStino [1] filed a deletion request for antigravity-manager-bin [2]: Hi, I'd like to delete this package because it's deprecated and no longer maintained. Thanks!
[1] https://aur.archlinux.org/account/FrancoStino/ [2] https://aur.archlinux.org/pkgbase/antigravity-manager-bin/
