Change the agda-stdlib live ebuild to EAPI=5
Update the idris live ebuild git repo. Build the idris-tutorial.pdf from the tex sources. Install the examples.