--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma.md5 Mon Oct 03 17:43:45 2011 +0200
@@ -0,0 +1,1 @@
+5429715e4788eab934229d3941efc2dc /home/edouard/src/beremiz_higen_dist/distfiles/libgmp-5.0.1-1-mingw32-dll-10.tar.lzma