mingw-w64のダウンロード うまくいかない

はじめ、この記事を参考にダウンロードを進めていた

www.javadrive.jp

だが、MinGW-w64

でのダウンロードがうまくいかなかった

qiita.com

この記事を一言一句そのままに進めるとインストールできた

参考までに