bd0743a421
The currently used package links are outdated. Instead of updating them to the current release number, rely on copr repos having a higher priority than system repos and simply specify the package name. https://gitlab.gnome.org/GNOME/mutter/merge_requests/644