Here it is the official direct link to download full package file of MIUI 9 v9.2.1.0 Global Stable ROM for Redmi 5A (codename Riva). This stable global ROM is still based on Android 7.1 Nougat. Downloading full pack ROM file is necessary especially if you have installed a custom recovery like TWRP which makes you unable to obtain Over The Air (OTA) update. Thus, flashing this file is the inevitable if you want to upgrade your phone to a newer version.
Also, read: How to flash TWRP on Redmi 5A.
Below is the Recovery build of MIUI 9.2.1.0 Global Stable ROM. The link is provided via direct hotlink supporting resume-able and multiple connections. Enjoy downloading the file using your favorite download manager app.
Download
miui_HM5AGlobal_V9.2.1.0.NCKMIEK_134693fcd9_7.1.zip
How to install? Read: How to flash MIUI 9 via Recovery method.
Older versions
MIUI 9 Fastboot ROM (.tgz)
riva_global_images_V9.1.8.0.NCKMIEI_20171204.0000.00_7.1_global_59022d15eb.tgz
How to install? Read: How to flash MIUI 9 Fastboot ROM.
miui_HM5AGlobal_V9.1.8.0.NCKMIEI_7249a98fc5_7.1.zip
MIUI 9 Recovery ROM (.zip)
How to install? Read: How to flash MIUI 9 via Recovery method.
MIUI 9 v9.1.6.0 Global Stable ROM for Redmi 5A is available here.
Please be aware that the files above are for Redmi 5A (codename Riva) and are not for either Redmi 5 or Redmi 5 Plus. Flashing wrong ROM file will result to a bricked device.