On Mon, Dec 05, 2005 at 11:35:16PM +0100, Thomas Petazzoni wrote: > (Note: camlgz is not yet in the Debian distribution.) I am curious, how does camlgz compare with camlzip ? Friendly, Sven Luther