idris-lang/Idris-dev — pull request #1520 by puffnfresh (2014-09-12 02:35:45+00:00)
Title: Add upper bound to optparse-applicative

The signature of `option` changed in 0.10 - it looks like an easy fix
but I'd rather change the upper bound than the lower bound right now.