libraries misversioned in 4.2 release

[Torbjorn Granlund]

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

  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
  
Did you already distribute something with this?

If not, please use these for LIBMP:

LIBMP_LT_CURRENT =  4
LIBMP_LT_REVISION = 9
LIBMP_LT_AGE =      1

Please tell me what you did, I am setting up things for GMP 4.2.1.

-- 
Torbjörn