[Agda] newest agda dependencies

Peter Divianszky divipp at gmail.com
Thu Feb 7 19:28:02 CET 2013

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
> tag.

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


More information about the Agda mailing list