[Agda] newest agda dependencies
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
>> 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
> 22.214.171.124 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