Где я могу скачать mingw32 версии 4.72 для Ubuntu?

Я кросс-компилирую некоторое программное обеспечение для linux, которому для работы нужна версия 4.72 компилятора mingw32. Однако версия в репозиториях только 4.4, где я могу найти 4.72?