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