Eero Volotinen wrote on Mon, 15 Aug 2016 11:00:51 +0000:

Maybe your repodata cache was a bit old :)

Yeah. I would have thought it checks the date of the file and tries to update it when it's that old. Anyway, clearing the whole yum cache was a good idea as I don't need the 5.8 rpms anymore. I just didn't think about that first, it's been long ...

Thanks for the quick reply! It assured me that there was no special procedure necessary, so I thought again and remembered that.

Kai