I used the following two commands to go to a previous Mesa version and keep it that way, but GNOME Software continues to offer me Mesa updates. Should this be the case?
I don’t know all about GNOME’s approach to this interplay between traditional package managers and Gnome software. So therefore I simply pose this issue as a question.