zlib-0.6.1 bug?

[Andrés Sicard-Ramírez]

On 17 June 2015 at 07:00, Andreas Abel <abela at chalmers.se> 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