Here we publish the Robolab versions for Linux!

Enjoy