MarsSeed [1] filed a deletion request for python-gym-minigrid [2]: Unneeded legacy Python package from 2020.
Module renamed to minigrid, so a new package has to be created for that. [a][b] (See [a] redirecting to a new 'minigrid' repo.) Nothing depends on this old library. Safe to delete. [a]: https://github.com/maximecb/gym-minigrid [b]: https://pypi.org/project/minigrid/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/python-gym-minigrid/
