I have a feeling that I am not getting any updates for my Fedora 31 installation. dnf update does not offer any updates apart from complaining that it cannot install both libdav1d-0.4.0 and libdav1d-0.5.2 (it would like to upgrade that but ffmpeg, vlc-core and HandBrake do not want to allow that). If I disable the updates repo, I get no suggestions.
The kernel I am running now is 5.3.16-300.fc31.x86_64, and I do not know if a more recent one has been published.
How can I make sure that the updates are working and how do I resolve the libdav1d issue?