I'm official Havoc maintainer for the Mi Mix (lithium) but I see people crying out for a Mi5 (gemini) version. The two devices are very similar, and use the same common tree so I've built a gemini version for you to use. This version won't be official because I don't actually own this device and bug hunting is going to be difficult for me to do without logs, but the lithium version is pretty stable with most features like WiFi display and hotspot working OK.
Beta gapps: https://sourceforge.net/projects/ope...beta/20191006/
WARNING: Don't install stock edition as this will install an old version of Pixel Launcher that will constantly crash. If you know how to create a gapps-config to disable installation of Pixel Launcher then it works fine, if you don't know how to do this then either google is your friend or install nano edition.