zlib-0.6.1 bug?

[Francesco Mazzoli]

That link does not work.  This does:
https://code.google.com/p/agda/issues/detail?id=1518 .

Francesco

On 17 June 2015 at 14: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.)
>
> 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/
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150617/febbf6cb/attachment.html>