gnome-extra/gnome-boxes-nonfree: Almost forgot it.