idris-lang/Idris-dev — pull request #1728 by RyanGlScott (2014-11-15 03:33:59+00:00)
Title: Bump lens upper version bounds

Allow `idris` to be built with the latest version of `lens` (4.6).