[aur-requests] [PRQ#12759] Deletion Request for minetime

yochananmarqos [1] filed a deletion request for minetime [2]: It's apparently abandoned, should have been named minetime-bin and is missing dependencies. There is a new package now to replace it: https://aur.archlinux.org/packages/minetime-bin [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/minetime/