2010-01-08  Paolo Bonzini  <bonzini@gnu.org>

        * Makefile.am (LIBGMP_LT_AGE): Zero it.  Add 5.0.1 to
        the table above.

--- Makefile.am	2010-01-08 16:57:49.000000000 +0100
+++ Makefile.am	2010-01-08 16:57:45.000000000 +0100
@@ -66,6 +66,7 @@
 #        4.3.1    8:1:5    5:1:1   4:15:1	WRONG Really used same as 4.3.0
 #        4.3.2    8:2:5    5:2:1   4:16:1
 #        5.0.0    9:0:6    6:0:2   4:20:1
+#        5.0.1    9:0:0    6:0:2   4:20:1
 #
 # Starting at 3:0:0 is a slight abuse of the versioning system, but it
 # ensures we're past soname libgmp.so.2, which was used on Debian GNU/Linux
@@ -80,7 +81,7 @@
 
 LIBGMP_LT_CURRENT =  9
 LIBGMP_LT_REVISION = 0
-LIBGMP_LT_AGE =      6
+LIBGMP_LT_AGE =      0
 
 LIBGMPXX_LT_CURRENT =  6
 LIBGMPXX_LT_REVISION = 0
