Download of Makefile.linux-mingw32 (Makefile.linux-mingw32: 936 bytes) will begin shortly. If not so, click Makefile.linux-mingw32.