diff options
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 7ba67a134..da3d93f52 100644 --- a/Makefile.am +++ b/Makefile.am @@ -72,6 +72,7 @@ # 5.0.4 10:4:0 6:4:2 4:24:1 # 5.0.5 10:5:0 6:5:2 4:25:1 # 5.1.0 11:0:1 7:0:3 - +# 5.1.1 11:1:1 7:1:3 - # # 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 @@ -85,11 +86,11 @@ # libgmpxx.so.3.0.4) incrementing, to make it clear which GMP it's from. LIBGMP_LT_CURRENT = 11 -LIBGMP_LT_REVISION = 0 +LIBGMP_LT_REVISION = 1 LIBGMP_LT_AGE = 1 LIBGMPXX_LT_CURRENT = 7 -LIBGMPXX_LT_REVISION = 0 +LIBGMPXX_LT_REVISION = 1 LIBGMPXX_LT_AGE = 3 |