idris-lang/Idris-dev — pull request #1748 by alexander-b (2014-11-24 10:27:56+00:00)
Title: Relax lens upper bounds to <4.7

Signed-off-by: Alexander Berntsen