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@gu.se http://www2.tcs.ifi.lmu.de/~abel/
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
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@gu.se http://www2.tcs.ifi.lmu.de/~abel/ _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
On 17 June 2015 at 07:00, Andreas Abel
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
participants (3)
-
Andreas Abel -
Andrés Sicard-Ramírez -
Francesco Mazzoli