--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/distfiles/libgmp-6.1.2-2-mingw32-dll-10.tar.xz.md5	Tue Dec 05 00:08:10 2017 +0100
@@ -0,0 +1,1 @@
+42272c91de90179a88d96a883c90fe6f  libgmp-6.1.2-2-mingw32-dll-10.tar.xz