I tried to test upgrade f24->f25:
sudo dnf system-upgrade download --refresh --releasever=25 --allowerasing
but it wanted to downgrade a large number of packages, particularly texlive:
[hundreds of downgrades...]
texlive-zlmtt noarch
5:svn34485.1.01-17.fc25.1 fedora
35 k
Just checking that last one:
rpm -q texlive-zlmtt
texlive-zlmtt-svn34485.1.01-24.fc24.1.noarch
Yup, the f24 version seems to be newer.
I suppose this is not the correct procedure?