New comment by Wychmire on void-packages repository https://github.com/void-linux/void-packages/issues/15450#issuecomment-542714333 Comment: as mentioned in the OP, gnome-shell can't be updated until mutter has been updated, which requires `sysprof` to be updated.