libraries misversioned in 4.2 release

[Steve M. Robbins]

Hi,

I was in the midst of preparing GMP 4.2 packages for Debian
and noticed the libraries are not correctly versioned.  This
has already been reported by Thomas M.Ott:

  http://gmplib.org/list-archives/gmp-bugs/2006-March/000308.html


Would one of the developers confirm whether rule #2:

# 2. Interfaces added, none removed (good): Increment CURRENT, increment
#    AGE, set REVISION to 0.

was meant to be applied.  I reckon that this would result in the
following versions:

LIBGMP_LT_CURRENT =  7
LIBGMP_LT_REVISION = 0
LIBGMP_LT_AGE =      4

LIBGMPXX_LT_CURRENT =  4
LIBGMPXX_LT_REVISION = 0
LIBGMPXX_LT_AGE =      1

LIBMP_LT_CURRENT =  5
LIBMP_LT_REVISION = 0
LIBMP_LT_AGE =      2


Many thanks,
-Steve