I've confirmed if I download the same file using curl and then extract it then it works fine.
--Rick
To unsubscribe from this group and stop receiving emails from it, send an email to developers+...@arduino.cc.
Thanks for the feedback. We switched to the tar.gz solution, and it weighs great!
We're doing final testing and getting to release the core. We'll then want to get it added to boards manager default list.
Very exciting moment for the chipKIT project.
-Rick