Você está se referindo à versão da libtool , que geralmente não é relacionada para a versão de lançamento da biblioteca.
Uma rápida olhada nas fontes mostrará que as versões estão definidas em Makefile.am
, com um bloco de comentários precedendo os valores dando um resumo do histórico.
Aqui está um trecho onde você verá os números do pacote Debian (a informação da versão do libmp está na última coluna):
# release libgmp libgmpxx libmp
...
# 5.0.1 10:1:0 6:1:2 4:21:1
# 5.0.2 10:2:0 6:2:2 4:22:1
# 5.0.3 10:3:0 6:3:2 4:23:1
# 5.0.4 10:4:0 6:4:2 4:24:1
# 5.0.5 10:5:0 6:5:2 4:25:1
# 5.1.0 11:0:1 7:0:3 -
e (atual)
# 6.1.2 13:2:3 9:2:5 -
e
# We interpret "implementation changed" in item "1." above as meaning any
# release, ie. the REVISION is incremented every time (if nothing else).
# Even if we thought the code generated will be identical on all systems,
# it's still good to get the shared library filename (like
# libgmpxx.so.3.0.4) incrementing, to make it clear which GMP it's from.
LIBGMP_LT_CURRENT = 13
LIBGMP_LT_REVISION = 2
LIBGMP_LT_AGE = 3
LIBGMPXX_LT_CURRENT = 9
LIBGMPXX_LT_REVISION = 2
LIBGMPXX_LT_AGE = 5