[z3-five] Cannot unzip five-0.3.tgz.tar

[David Hassalevris]

Jan-Wijbrand Kolman wrote:

> David Hassalevris wrote:
>
>> Hi z3-five list,
>>
>> I've decided to take a look at this product and cannot unzip it onto 
>> Windows XP.  I've tried a couple of shareware products like WinZip 
>> that  report header errors.  Anyone know of a Windows utility that 
>> will unzip this sucessfully?
>
>
> If the file you downloaded indeed ends in '.tgz.tar', then something 
> is weird. Try removing the last '.tar' part and maybe WinZip will 
> understand it then?
>
>
> regards,
> jw
>
JW,

Whats even weirder is that I just downloaded it again and *now*  WinZip 
is working.  I didn't even get to the "try removing the last '.tar' part".

Thanks,
David