Just visit my thread on xda here https://forum.xda-developers.com/redmi-pro/how-to/list-roms-redmi-pro-t3555871