http://en.miui.com/getrom.php?r=342&m=yes&app=false
¿Esta es la ROM de la versión global?
Es raro que aún no haya sido el lanzamiento y ya haya una ROM global disponible.
Están la ROM para India y la ROM global.
En la lista de dispositivos aparece como Redmi Note 5: