===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/distinfo,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/gmp/distinfo	2008/04/01 12:13:39	1.4
+++ OpenXM/src/gmp/distinfo	2009/12/03 05:45:35	1.5
@@ -1 +1 @@
-MD5 (gmp-4.2.2-core2.tgz) = 3b4470e4212925da45132fc0ad203d00
+MD5 (gmp-4.3.1.tar.gz) = a8f60ac823a16e61335dba9c08875c06