Si, pero eran para GB e ICS. Las más actualizadas son de ICS de abril del 2013, cuando dijeron que ya no se iban a dedicar a MIUI ICS sino que se iban a basar ya en JB.
MIUI v2 --> GB
MIUI v4 --> ICS
MIUI v5 --> JB
Te paso el enlace... yo estuve un tiempo con la ICS y bastante buena visualmente, es preciosa, pero iba un poco petada de RAM y además necesitas activar la cuenta Xiaomi y cuesta el SMS 1 euro y pico... y ni me enteré.
http://forum.xda-developers.com/show....php?t=1599516
Edito: la GB tampoco te vale porque se basa en CM (boot abierto)