idris-lang/Idris-dev — pull request #1290 by Melvar (2014-06-06 17:11:20+00:00)
Title: Update optparse-applicative bound to match used features

Having an earlier version than 0.8 was met with failure to compile.