I recently found that someone has uploaded Robo Miner in the hispace/hicloud/cloud+ store - with his own name as developer.
The whole site seems very buggy, so i cannot sign up there.
I would be interested in knowing if there was the original version uploaded or a modified one…
just to let you know.