===================================================================
RCS file: /home/cvs/OpenXM/src/mpfr/distinfo,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/mpfr/distinfo	2008/10/30 07:59:46	1.1
+++ OpenXM/src/mpfr/distinfo	2015/08/04 07:08:34	1.2
@@ -1 +1,2 @@
 MD5 (mpfr-2.3.2.tar.gz) = a00b35eea4b433ec20394c11921c3840
+MD5 (mpfr-3.1.3.tar.bz2) = 5fdfa3cfa5c86514ee4a241a1affa138