micwoj92 [1] filed a deletion request for opmin [2]:
Long time deprecated j2me version of opera mini, it isn't even latest version https://aur.archlinux.org/packages/opmin/#comment-472756
[1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/opmin/
Request #25140 has been accepted by ainola [1].
aur-requests@lists.archlinux.org