I'm gonna assume it'll come down the pipeline. The initial problem with the Mario 64 decomp is that it mostly derives its code from the N64's hardware. Previously the people working on these ports were having to borrow Mupen64 plugins to run the graphics, but the leaks gave us a DX12 and OGL build, as well as Linux packages.
Right now there's the matter of who has sauce. I believe I netted the src for the OGL version, but that still requires someone making the game work with the SH4 and PowerVR graphics. Personally, both the OGL and DX12 versions ran without a hitch, the EXEs for them are a meager 25MB, and my Xbox One pad worked instantly. I did try the OGL version on a Windows XP machine but it didn't launch, which probably just points to them using newer OGL libs than XP or the GPU in my old beast could provide.