zlib-0.6.1 bug?

[Andreas Abel]

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 at gu.se
http://www2.tcs.ifi.lmu.de/~abel/