Hi! There isn't any publicly released Pi stuff at the moment.
Early on, there was actually a full build of everything for Raspberry Pi. At the time I had trouble getting the *one* SDL rendering call (to draw the screen) to work fast enough to make it viable. SDL on my Pi had no hardware acceleration and I couldn't seem to turn it on, and at the time I didn't want to get a framebuffer more directly.
In the future I may bring the Raspberry Pi stuff up to scratch and release it, but it's not currently available. Sorry!
