Peter Mikkelsen <petermikkelsen10@gmail.com> writes:

> The following two patches updates idris to 1.0, and fixes the default
> arguments used for building idris packages.

Pushed, thanks!