> I can't find any evidence for that without being told where to look.
It was in the previous message:
https://packages.debian.org/sid/libmpfr4
https://packages.debian.org/sid/libmpfr6
>> Doesn't explain why one says "Package: libmpfr4 (3.1.6-1)" and the other
>> says "[mpfr4_4.0.1-1.dsc]": both "3.1.6-1" and "4.0.1-1" are Debian
>> version numbers and they are usually the same.
>
> I'm not sure you're quoting from here.
>From https://packages.debian.org/sid/libmpfr4
> That seems unlikely to me. I'm not going to bother to download the
> source to find out, but I suspect that the 4 in Packages's "Source:
> mpfr4" line is spurious,
Agreed, I hadn't noticed this little "4" in there. I have no idea what
it means. I was only looking at (and talking about) the Debian
version numbers and the "4" and "6" of "libmpfr4" and "libmpfr6".
Stefan
