[johndoe0815]

The zip file available in the github releases of the project contains the final binary release (0.6):

https://github.com/yshurik/inferno-rpi/releases/tag/v0.6

Note that this Inferno port only works on the original Raspberry Pi 1 (probably also the 1B and the Pi Zero).