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