Justburn has released PokeMini version 0.6.
It seems like David Knight doesn't plan to update his port so i have decided to do it myself, using qemu.
Given that the new release was a little over 2 weeks ago and that you didn't ask me I don't think it's fair to state that I didn't plan to update my port.
For the record I'm happy to update all my ports, given that I currently have 20+ it's a little tricky to keep them all up-to-date whenever a new upstream version comes out.
I appreciate you may not have been able to test your release with the actual hardware but this version runs noticeably slower than the previous release. PM me if you wish to discuss this further as the release forum is not the best place to discuss code.