On Wed, 17 Jul 2002, Serge Stinckwich wrote:

> I just download the file and it's ok now.

Hmm.  And yet it wasn't for me.  Could it be a version of zip that gnu
unzip doesn't support?  file(1) tells me "at least v2.0 to extract", but I
don't know what that really means.