SanskritFritz [1] filed a deletion request for minestein [2]: Homepage is dead, the game is discontinued, the successor being in pzl games. [1] https://aur.archlinux.org/account/SanskritFritz/ [2] https://aur.archlinux.org/pkgbase/minestein/