Python3 and python3-devel package mismatch

On a recently installed (and updated) Rocky 9.3 system I cannot install python3-devel, as the versions of the installed python3 and the needed python3-devel packages seem to mismatch.

I get:

Error:
Problem: cannot install the best candidate for the job

  • nothing provides python3 = 3.9.18-1.el9_3 needed by python3-devel-3.9.18-1.el9_3.x86_64 from appstream
  • nothing provides python3-libs(x86-64) = 3.9.18-1.el9_3 needed by python3-devel-3.9.18-1.el9_3.x86_64 from appstream
    (try to add ‘–skip-broken’ to skip uninstallable packages or ‘–nobest’ to use not only best candidate packages)

My python3 package is:
python3-3.9.18-1.el9_3.1.x86_64

Is this due to a broken mirror and what is the workaround?

UPDATE:
When commenting out “mirrorlist” and uncommenting “baseurl” for the appstream repo, it works. Isn’t there a sanity check done on mirrors? This problem exists for several days: I had it earlier on another system several days ago, but that problemdisappeared later, probably because then another mirror was selected.