[aur-requests] [PRQ#34056] Merge Request for python-manimlib

Rubo [1] filed a request to merge python-manimlib [2] into python- manimgl [3]: The package name on PyPI is manimgl, so it would be better to have the same pkgname and pkgbase here with the usual "python-" prefix convention. [1] https://aur.archlinux.org/account/Rubo/ [2] https://aur.archlinux.org/pkgbase/python-manimlib/ [3] https://aur.archlinux.org/pkgbase/python-manimgl/