[Agda] newest agda dependencies

Nils Anders Danielsson nad at chalmers.se
Thu Feb 7 14:33:10 CET 2013

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.


More information about the Agda mailing list