zlib-0.6.1 bug?

Agda sees some segmentation faults when compiled with zlib-0.6.1.x, but not with zlib-0.5.4.2. https://code.google.com/p/agda/issues/detail?can=2&q=1518 You might want to constrain zlib < 0.6 for now. (I reported the issue to the maintainer a couple of weeks ago, but have not gotten any response yet.) Cheers, Andreas -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www2.tcs.ifi.lmu.de/~abel/