chipKIT Max32 [Arduino compatible PIC board]

For anyone unable to download the Windows version from;

https://github.com/chipKIT32/chipKIT32-MAX/downloads

Someone just posted an alternate download file which appears to be working.

Cheers.

Peter Anderson