zlib-0.6.1 bug?

Andreas Abel abela at chalmers.se
Wed Jun 17 12:00:02 UTC 2015

Agda sees some segmentation faults when compiled with zlib-0.6.1.x, but 
not with zlib-


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


Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se

More information about the Libraries mailing list