Uwe Stöhr wrote: > Yes, a zip would be fine. I don't think that we need to save a few kB by > using special formats like .xz.
For the record .xz is pretty standard in open source releases and it saves 9mb from 20mb gzips (and 21mb from 31 .zip I just experimentally tried). This is not few kb. But this is most probably offtopic anyway, because the problem is with tar, not zip. I seem to remember that we fixed this problem by deleting boost files which were not by acident needed, the current approach looks much better. Pavel
