greater for f12: x86info (davej ) f12 = 1:x86info-1.25-1.45.fc12.src f13 = 1:x86info-1.25-1.44.fc13.src
These are actually the same, (I did two commits in f12, and combined both when I updated f13).
is it worth rebuilding just to get it off the list ?
Yes.
It seems kinda pointless to push an update when nothing changes at all.
The _name_ changes, and that is important because the name has semantic meaning.
--