AUR rules don’t forbid binary packages corresponding to stock ones built from the source.

On 6 Nov 2024, at 13:49, notify@aur.archlinux.org wrote:

BryanLiang [1] filed a deletion request for electron33-bin [2]:

electron33 has been provided in the Extra repo.

[1] https://aur.archlinux.org/account/BryanLiang/
[2] https://aur.archlinux.org/pkgbase/electron33-bin/