My system has libgmp.so.10.2.0 while official source says current version is 6.1.2.Is this specific to GMP? Would having libgmp.so.42.0.0 be OK?Debian adds another number 2 to the mix (ignoring patches).libgmp10:amd64  2:6.0.0+dfsg-6
What does 10 mean in libgmp10 library?
version;shared library