[Agda] newest agda dependencies

Peter Divianszky divipp at gmail.com
Wed Feb 6 19:15:06 CET 2013


Hi,

As I know the darcs development version of Agda has newer dependencies 
than the version on HackageDB.

One could upload to HackageDB a minor Agda variant with bumped dependencies.
This would also help packagers for other OSes.

Should I do this?

Thanks,

Peter



More information about the Agda mailing list