--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/distfiles/mingwrt-3.20-mingw32-dev.tar.gz.md5	Mon Oct 03 17:43:45 2011 +0200
@@ -0,0 +1,1 @@
+2d2f5c8165ff9c29661a5be96336a4f7  /home/edouard/src/beremiz_higen_dist/distfiles/mingwrt-3.20-mingw32-dev.tar.gz