bperrybap:
The linux 32 bit 1.8.0 package from arduino.cc is not the same as the 1.8.0 package from arduino.org
Well that's sure annoying. I've been hoping that with the reconciliation things would get less fragmented but having two different IDEs with the same version number is actually worse. You'd think they'd just distribute the same exact file from the same server. A quick test of the arduino.org 1.8.0 Windows build seems to work but a diff shows they are definitely different. What a completely idiotic thing to do!