On Sun, Nov 20, 2016 at 12:54:29AM +0000, Jerome BENOIT wrote: > So the issue seems also related to the patch fix-gzip-stringfile which > was integrated in the last version of GAP.
Please make sure libgap has this patch applied. Otherwise gzip support does not work. > In the header of the patch, we read: `We use pipes for reading gzipped files'. > What leads me to the question: why we do not use zlib instead ? It would note make any difference since rewind does not work with zlib either. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.
