La tengo para instalar por Updater:
http://bigota.d.miui.com/V7.3.2.0.LH...1bc33c_5.1.zip
Para MiFlash no encuentro tan antiguas.
Puedes hacer una instalación limpia vía MiFlash con cualquier ROM y luego bajar la versión vía Updater con el archivo del enlace. Instala una Dev vía MiFlash, así se borrará todo al pasar a la rama Estable.
