[polyml] rebuild with new gmp without compat lib

[Marcela Mašláňová]

commit 7cd2730bab65440b9ebba1d168600d583e9b8aee
Author: Marcela Mašláňová <mmaslano at redhat.com>
Date:   Wed Oct 26 14:30:48 2011 +0200

    rebuild with new gmp without compat lib

 polyml.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/polyml.spec b/polyml.spec
index 271e994..ce9488d 100644
--- a/polyml.spec
+++ b/polyml.spec
@@ -1,6 +1,6 @@
 Name:           polyml
 Version:        5.4.1
-Release:        1%{?dist}.1
+Release:        1%{?dist}.2
 Summary:        Poly/ML compiler and runtime system
 
 Group:          Development/Languages
@@ -110,6 +110,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_libdir}/libpolyml.so.*
 
 %changelog
+* Wed Oct 26 2011 Marcela Mašláňová <mmaslano at redhat.com> - 5.4.1-1.2
+- rebuild with new gmp without compat lib
+
 * Wed Oct 12 2011 Peter Schiffer <pschiffe at redhat.com> - 5.4.1-1.1
 - rebuild with new gmp