DevKit-tdm-32-4.5.2 の更新されたバージョンがリリースされ、ダウンロードページから入手できます。お楽しみください。このバージョンには、DevKit のインストール ディレクトリ検索の動作をより適切に処理する dk.rb インストール スクリプトの更新バージョンが含まれており、GH #80 が修正されています