We had covered news about the Nexus devices a few days ago and as of now there is a line of Nexus devices which have been buzzing around and now Google has released factory images and binaries for the entire range of current Nexus devices. The list of devices include : Google Nexus 7 ( 2012 and 2013 ), Google Nexus 5, Google Nexus 10 and Galaxy Nexus. The images and instructions can be seen here and drivers are available here.
With the launch of the Redmi K20 that has come in the spotlight now, the Mi A3 could be delayed. We feel it should come sometime soon though and will be based in the upcoming Mi CC9 in China.