diff -r e3a923bd3d56 -r 6dec159540ee distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma.md5 --- a/distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma.md5 Mon Oct 10 00:37:27 2011 +0200 +++ b/distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma.md5 Tue Oct 11 16:34:05 2011 +0200 @@ -1,1 +1,1 @@ -5429715e4788eab934229d3941efc2dc /home/edouard/src/beremiz_higen_dist/distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma +5429715e4788eab934229d3941efc2dc libgmp-5.0.1-1-mingw32-dll-10.tar.lzma