agda/agda — pull request #13 by RyanGlScott (2014-09-09 05:52:55+00:00)
Title: Bump text upper version bounds

Allow `Agda` to use `text-1.2.0.0`.