[Agda] newest agda dependencies

[Nils Anders Danielsson]

On 2013-02-06 19:15, Peter Divianszky wrote:
> One could upload to HackageDB a minor Agda variant with bumped dependencies.
> This would also help packagers for other OSes.
>
> Should I do this?

If you do this, please test that the package works with multiple
versions of GHC (for instance 7.0.4, 7.4.2 and 7.6.2, maybe also
6.12.3), and provide us with a patch that includes the changes and a
2.3.2.1 tag.

-- 
/NAD