Muflone [1] filed a deletion request for antigravity-binary [2]: duplicate of package antigravity and antigravity-bin which was just merged into antigravity
[1] https://aur.archlinux.org/account/Muflone/ [2] https://aur.archlinux.org/pkgbase/antigravity-binary/
