libraries misversioned in 4.2 release

[Torbjorn Granlund]

"Steve M. Robbins" <steven.robbins at videotron.ca> writes:

  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
  
Yes, this was a very unfortunate mistake on my part, and my only
excuse is almost complete ignorance about shared library versioning
and its handling by the auto* tools.

I think and some minor problems means I should make a 4.2.1 soon.
I'll try to do that next week.

Your numbers seem right for GMP 4.2.
I'll use them as a base for 4.2.1, just bumping *_REVISION.
  
  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

-- 
Torbjörn