[Ipe-discuss] Unzipping

[Otfried Cheong]

On Sat, Sep 7, 2019, at 13:43, Peter Ungar via Ipe-discuss wrote:
> I tried to unzip both the Windows 64 bit and the 32-bit IPE zip files 
> from the IPE website with Bandizip and then with Winzip. All four 
> attempts ended with the message that the files are defective and can 
> not be unzipped. I would very much appreciate if someone would send me 
> the 64-bit program.

I have just tried it, and they extract fine on my Windows 10 computer.   Do you have a very ancient Windows version where you cannot simply extract zip-files from the file explorer?

You used the correct sites?

Ipe website: http://ipe.otfried.org/
Direct link to zip-file: https://dl.bintray.com/otfried/generic/ipe/7.2/ipe-7.2.12-win64.zip

Cheers,
  Otfried