I just updated one of my boxes from Fedora 23 to a new Fedora 25 install. Everything is mostly ok but I can't seem to find gnome-mplayer anywhere. I think it used to be in the RPMFusion repo but I can't seem to find it. Did the gnome-mplayer project get renamed to something else? Or is there a compatibility issue with F25? Or did I miss everyone switching to some other media player?