[PRQ#71174] Deletion Request for pokemini

[notify]

MarsSeed [1] filed a deletion request for pokemini [2]:

EOL since 2015. Fails to build. Unused.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/pokemini/