Re: zlib-0.6.1 bug?

On 17 June 2015 at 07:00, Andreas Abel wrote:

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.)

The constrain zlib < 0.6.1 is enough. -- Andrés