[PRQ#81890] Deletion Request for antigravity-ide-bin

[notify]

ozan-fn [1] filed a deletion request for antigravity-ide-bin [2]:

migrate to antigravity-ide

[1] https://aur.archlinux.org/account/ozan-fn/
[2] https://aur.archlinux.org/pkgbase/antigravity-ide-bin/