[Agda] newest agda dependencies

[Peter Divianszky]

On 02/07/2013 02:33 PM, Nils Anders Danielsson wrote:
> 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.

Currently my only computer is a cheep netbook so I prefer not to do 
these tests and I won't do the upload.

Peter