Download of (fw_odin_miui_ODIN_V12.5.4.0.RKMCNXM_eacb5c9e71_11.0.zip: 119,374,191 bytes) will begin shortly. If not so, click fw_odin_miui_ODIN_V12.5.4.0.RKMCNXM_eacb5c9e71_11.0.zip.
The easiest way to get flashable firmware zip files for Xiaomi devices! XiaomiFirmwareUpdater is a script which provides firmware packages for every Xiaomi devices. It's an automated script, running on Linux server every six hours, extracting firmware from MIUI official ROMs, both Global and China, and uploads it to multi-servers.
Website: https://xiaomifirmwareupdater.com/