===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/distinfo,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/gmp/distinfo	2015/09/14 08:09:39	1.8
+++ OpenXM/src/gmp/distinfo	2017/03/30 13:17:15	1.9
@@ -3,3 +3,4 @@ MD5 (gmp-4.3.2.tar.gz) = 2a431d487dfd76d0f618d241b1e55
 MD5 (gmp-5.0.0.tar.gz) = 672949b1e137d92fa8d76608e8ab9bc6
 MD5 (gmp-5.0.4.tar.bz2) = 50c3edcb7c9438e04377ee9a1a061b79
 MD5 (gmp-6.0.0a.tar.bz2) = b7ff2d88cae7f8085bd5006096eed470
+MD5 (gmp-6.1.2.tar.bz2) = 8ddbb26dc3bd4e2302984debba1406a5