micwoj92 [1] filed a deletion request for grubinvaders [2]: Fails to build since around 2015, reported in comments 3 times [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/grubinvaders/