See if we can't get a jessie package of Idris - View it on GitHub