cygwin用のGNU make 3.80の入手方法

GNU make 3.80と3.81では挙動が違うようで、同僚があるmakefileをcygwinのGNU make 3.81で使おうとしたら、
「3.80用のmakefileだから使えないよ」
という旨のエラーが出た。

困った事に、cygwinのミラーには既に3.81しか無く、cygwinのインストーラーでは3.80をインストールする事ができない。
3.80が欲しければ、ここから入手して自分でインストールすれば良い。

詳しくは、Mozilla developer centerへ。