bad library versions in 4.3.1 ?

[Steve M. Robbins]

Hi,

Makefile.am is inconsistent w.r.t. library versions.  It
looks like they never got updated from 4.3.0.


#         GMP      -version-info
#       release   libgmp  libgmpxx libmp
#        2.0.x      -        -       -

[...]
#        4.3.0    8:0:5    5:0:1   4:14:1
#        4.3.1    8:1:5    5:1:1   4:15:1

[...]

LIBGMP_LT_CURRENT =  8
LIBGMP_LT_REVISION = 0
LIBGMP_LT_AGE =      5

LIBGMPXX_LT_CURRENT =  5
LIBGMPXX_LT_REVISION = 0
LIBGMPXX_LT_AGE =      1

LIBMP_LT_CURRENT =  4
LIBMP_LT_REVISION = 14
LIBMP_LT_AGE =      1


-Steve