agda/agda — pull request #23 by RyanGlScott (2014-12-08 04:11:04+00:00)
Title: Bump hashtables upper version bounds

Allow `Agda` to build with the latest version of `hashtables` (1.2.0.0) (my [second attempt](https://github.com/agda/agda/pull/22)).