I've built and deployed a game using libGDX + RoboVM once, and it was super easy to get my app running on both Android and iOS. I was more intrigued by the bureaucracy around compiling and distributing an iOS app than by RoboVM itself.
That said, I was just this week thinking about my next game, a Tower Defense, and now RoboVM dies... :/
Will try the libGDX response as soon as possible.