Idris now has a top-level attribute in nixpkgs

infinisil committed Jul 2, 2018

Clone with HTTPS instead of SSH.

maljub01 committed Nov 3, 2017

Renamed title to be consistent with others.

jfdm committed Sep 12, 2016