idris-lang/Idris-dev — pull request #1687 by RyanGlScott (2014-10-29 17:45:39+00:00)
Title: Bump lens upper version bounds

Allow `idris` to use the latest version of `lens` (4.5).