https://cyanogenmods.org/forums/topic/lineage-os-13-redmi-pro-marshmallow-rom/
LineageOS 13 for Redmi Pro Marshmallow ROM