MarsSeed [1] filed a deletion request for gdm-theme-brasillinux-eye [2]: A themes pack from 2015 for the several-years broken gdm-old, which was also last updated in 2015. This was also compatible with Linux Mint's former mdm display manager, but its last release came in 2017, and it was already reported broken on AUR in April 2018. So it's safe to say this package is no longer useful to keep. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gdm-theme-brasillinux-eye/