aqui hay algo que no cuadra... en el primer enlace esta todo en orden, y hay un miui 12 que se descarga de androidfilehost y su referencia es correcta, pero son 2.2 gb, con lo cual me creo que sea la buena
el segundo enlace de sourceforge, efectivamente apunta a la carpeta de los releases de version 12, pero claramente indica que es miui 11, es probable que haya un error de carga, y que se hayan desarrollado en paralelo ambas versiones, la 11 efectivamente pasa de 11.0.1.0 a 11.0.2.0, y la 12 ya comienza directamente en 12.0.2.0
no creo que haya mucho que clarificar, pero si que los enlaces prestan a confusion, espero que este post clarifique un pelin mas
un saludo